jhuapl-saralab / tracer
Recursive process fork/exec tracing for Linux systems using ptrace()
☆21Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for tracer
- Modify ELF executables☆16Updated 5 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 7 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 2 years ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Updated 4 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Fuzzing compression libraries☆19Updated 8 years ago
- GCC plugin for C language that tracks references to allocated objects☆23Updated last week
- Turn an interpreter into a code generator☆29Updated 9 years ago
- A minimalistic and high-performance SAT solver☆26Updated last year
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆24Updated 3 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- Common dependency management for various Trail of Bits C++ codebases☆31Updated 5 months ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆42Updated 8 years ago
- a friendly wrapper around ptrace☆126Updated 2 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆12Updated 4 years ago
- UI plugin integrating Kaitai Struct (kaitai.io) in Binja☆38Updated 3 weeks ago
- rev.ng configuration for orchestra. The starting point for any development.☆32Updated last week
- BIOS-based boot menu and loader☆16Updated 7 years ago
- A simple library focusing on demangling symbols for different programing languages☆41Updated 3 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- Tool for findings bugs in epoll-based Linux servers☆28Updated 4 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆27Updated 2 weeks ago
- Gdb Extension Framework is a bunch of python code around the gdb api.☆51Updated 3 years ago
- Linux kernel JIT spray for SMEP / KERNEXEC bypass☆55Updated 12 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆32Updated 3 years ago
- A(nother) Binary Analysis Framework☆30Updated 10 years ago