Stars
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
A machine learning compiler for GPUs, CPUs, and ML accelerators
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
A collection of out-of-tree LLVM passes for teaching and learning
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO
C++14 implementation of the TLS-1.3 standard
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
Fastbot(2.0) is a model-based testing tool for modeling GUI transitions to discover app stability problems
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
A LLVM-based static analysis framework.
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or fu…
Fuzzing harness for testing proprietary image codecs supported by Skia on Android
Escargot is a lightweight JavaScript engine designed specifically for resource-constrained environments.
Sample code for how to use Android binders from native (C++) space.
Constraint solver based on coverage-guided fuzzing
[SOSP'25] Automatic checker synthesis for system-level static analysis
MrDocs: A Clang/LLVM tool for building reference documentation from C++ code and javadoc comments.