jhuapl-saralab / tracerLinks
Recursive process fork/exec tracing for Linux systems using ptrace()
☆21Updated 3 years ago
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 6 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- ☆37Updated 7 years ago
- Load-time selective binary rewriting☆161Updated 3 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆56Updated 3 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆186Updated 3 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 3 years ago
- ☆74Updated 3 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
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- A deterministic, fuzzable pthread implementation☆42Updated 2 years ago
- Interactive Control Flow Graph Visualization.☆35Updated 4 years ago
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- Explore LLVM Bitcode interactively using a graph database☆58Updated 5 years ago
- ☆52Updated 3 years ago
- Clade is a tool for extracting information about software build process and source code☆22Updated last year
- A framework for instrumenting build tools☆89Updated 3 weeks ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 11 years ago
- a friendly wrapper around ptrace☆133Updated 3 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆109Updated 7 years ago
- A GCC plugin to dump call graphs for programs being compiled using LTO.☆22Updated 5 years ago
- A library for GDB (with python support), that adds useful functions to the standard 'gdb' library.☆77Updated 13 years ago
- Self-hosting binary instrumentation framework for security research☆217Updated 2 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 3 years ago
- Fast Binary Translator for the Kernel☆27Updated 12 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago