lifting-bits / cxx-common
Common dependency management for various Trail of Bits C++ codebases
☆34Updated 10 months ago
Alternatives and similar repositories for cxx-common
Users that are interested in cxx-common are comparing it to the libraries listed below
Sorting:
- Pretty printer from GTIRB to assembly code☆48Updated last month
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 6 years ago
- A library for dynamic binary rewriting☆58Updated 4 years ago
- TracerX Symbolic Virtual Machine☆33Updated 2 weeks ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- ☆74Updated 2 years ago
- Tracing framework for full system simulators☆56Updated 9 years ago
- A utility library to bridge llvm and mlir gaps.☆13Updated 4 months ago
- Explore LLVM Bitcode interactively using a graph database☆58Updated 5 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- A simple library focusing on demangling symbols for different programing languages☆47Updated 4 years ago
- Dr. Disassembler☆35Updated 3 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- Extracting high level semantic information from binary code☆65Updated 5 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆25Updated 5 years ago
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆53Updated 2 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 3 years ago
- llvm crash analysis☆43Updated 10 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Tool to demangle C++ symbols.☆58Updated last year
- LLVM-based type and memory allocation tracking sanitizer☆53Updated 2 weeks ago
- Lightweight Symbolic Execution Engine☆23Updated 9 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆33Updated 4 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago