jhuapl-saralab / tracerLinks
Recursive process fork/exec tracing for Linux systems using ptrace()
☆21Updated last month
Alternatives and similar repositories for tracer
Users that are interested in tracer are comparing it to the libraries listed below
Sorting:
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- Manipulate C-family ASTs with Clang☆68Updated 7 years ago
- A Python library for easy and fast program transformation/repair☆15Updated 4 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- ☆74Updated 3 years ago
- Load-time selective binary rewriting☆163Updated 3 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- A library for GDB (with python support), that adds useful functions to the standard 'gdb' library.☆77Updated 14 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Updated 6 years ago
- a friendly wrapper around ptrace☆133Updated 3 years ago
- A framework for instrumenting build tools☆90Updated 3 weeks ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 11 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 5 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆70Updated last year
- Explore LLVM Bitcode interactively using a graph database☆58Updated 5 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago
- Rewriting functions in compiled binaries using McSema☆91Updated 6 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆35Updated 4 years ago
- ☆38Updated 7 years ago
- KLEE Symbolic Execution Engine☆60Updated 6 years ago
- Arnold source code☆46Updated 6 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆65Updated 7 years ago
- A dynamic analysis framework for C and C++ programs☆29Updated last month
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆78Updated 8 years ago
- Heap analysis tooling for dlmalloc☆32Updated 3 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- A simple library focusing on demangling symbols for different programing languages☆47Updated 4 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆31Updated 5 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆76Updated 3 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26Updated 4 years ago