rain6851's repositories

asmjit

Low-latency machine code generation

License:ZlibStargazers:0Issues:0Issues:0

Awesome-Binary-Similarity

An awesome & curated list of binary code similarity papers

Stargazers:0Issues:0Issues:0

Awesome-Code-LLM

A curated list of language modeling researches for code and related datasets.

Stargazers:0Issues:0Issues:0

Awesome-Foundation-Model-Security

A curated list of trustworthy Generative AI papers. Daily updating...

Stargazers:0Issues:0Issues:0

awesome-llvm

A curated list of awesome LLVM related docs, tools, and other resources.

Stargazers:0Issues:0Issues:0

binder-trace

Binder Trace is a tool for intercepting and parsing Android Binder messages. Think of it as "Wireshark for Binder".

License:MITStargazers:0Issues:0Issues:0

dcc

DCC (Dex-to-C Compiler) is method-based aot compiler that can translate DEX code to C code.

License:Apache-2.0Stargazers:0Issues:0Issues:0

debugir

DebugIR: Debugging LLVM-IR Files

License:Apache-2.0Stargazers:0Issues:0Issues:0

docker-android

Android in docker solution with noVNC supported and video recording

License:NOASSERTIONStargazers:0Issues:0Issues:0

esbmc

The efficient SMT-based context-bounded model checker (ESBMC)

License:NOASSERTIONStargazers:0Issues:0Issues:0

forbidden-apis

Policeman's Forbidden API Checker

License:Apache-2.0Stargazers:0Issues:0Issues:0

Gooey

Turn (almost) any Python command line program into a full GUI application with one line

License:MITStargazers:0Issues:0Issues:0

GPTSecurity

塑造未来的安全领域智能革命

License:NOASSERTIONStargazers:0Issues:0Issues:0

gvisor

Application Kernel for Containers

License:Apache-2.0Stargazers:0Issues:0Issues:0

hackGPT

I leverage OpenAI and ChatGPT to do hackerish things

Stargazers:0Issues:0Issues:0

HyperPlatform

Intel VT-x based hypervisor aiming to provide a thin VM-exit filtering platform on Windows.

License:MITStargazers:0Issues:0Issues:0

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

License:NOASSERTIONStargazers:0Issues:0Issues:0

javy

JS to WebAssembly toolchain

License:Apache-2.0Stargazers:0Issues:0Issues:0

llama2.c

Inference Llama 2 in one file of pure C

License:MITStargazers:0Issues:0Issues:0

LLMSurvey

The official GitHub page for the survey paper "A Survey of Large Language Models".

Stargazers:0Issues:0Issues:0

mariana-trench

A security focused static analysis tool for Android and Java applications.

License:MITStargazers:0Issues:0Issues:0

nodejsscan

nodejsscan is a static security code scanner for Node.js applications.

License:GPL-3.0Stargazers:0Issues:0Issues:0

NullAway

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

License:MITStargazers:0Issues:0Issues:0

phasar

A LLVM-based static analysis framework.

License:NOASSERTIONStargazers:0Issues:0Issues:0

re-list

A list of open source reverse engineering tools with a focus on binary analysis

Stargazers:0Issues:0Issues:0

retdec

RetDec is a retargetable machine-code decompiler based on LLVM.

License:MITStargazers:0Issues:0Issues:0

retire.js

scanner detecting the use of JavaScript libraries with known vulnerabilities. Can also generate an SBOM of the libraries it finds.

License:NOASSERTIONStargazers:0Issues:0Issues:0

spoon

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

License:NOASSERTIONStargazers:0Issues:0Issues:0

tinyj2c

Convert JAVA source to C source, Build standlone binary without any class file.

License:MITStargazers:0Issues:0Issues:0

tsunami-security-scanner

Tsunami is a general purpose network security scanner with an extensible plugin system for detecting high severity vulnerabilities with high confidence.

License:Apache-2.0Stargazers:0Issues:0Issues:0