Infinidat / infinitrace
A trace solution for C/C++ code on Linux, optimized for high trace volumes and low latency
☆12Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for infinitrace
- ☆20Updated 9 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- BIOS-based boot menu and loader☆16Updated 8 years ago
- AST - Extractor for LLVM☆18Updated 3 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- immintrin_dbg.h is an include file, a wrapper around immintrin.h. It implements most of AVX, AVX2, AVX-512 vector intrinsics to enable so…☆57Updated last year
- Tool for findings bugs in epoll-based Linux servers☆28Updated 4 years ago
- CLang Plugin for calculating AST hashes☆15Updated 5 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 4 years ago
- ☆13Updated 5 years ago
- Evidence-based dynamic analysis: a fast checker for memory errors.☆21Updated 7 years ago
- Common dependency management for various Trail of Bits C++ codebases☆31Updated 5 months ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆39Updated 5 years ago
- AVX512 population count routines☆22Updated 5 years ago
- gcc plugin to discover optimization passes used during compilation☆19Updated 3 years ago
- ☆14Updated 2 years ago
- Utility for dumping all the information Capstone has on given instructions.☆24Updated 3 years ago
- Turn an interpreter into a code generator☆29Updated 9 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 2 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆42Updated 8 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆41Updated 3 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 11 years ago
- ☆74Updated 2 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 8 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆24Updated 3 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Updated 11 years ago
- Packet decoding for TCP/IP protocols; a portable packet sniffing library.☆15Updated last month
- Generates CMakeLists.txt files from arbitrary C/C++ codebases☆25Updated 2 years ago