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…☆28Updated 4 years ago
- Manipulate C-family ASTs with Clang☆65Updated 6 years ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- Static instrumentation tool for efficient binary-level coverage analysis.☆148Updated 4 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated 11 months ago
- a friendly wrapper around ptrace☆132Updated 3 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 11 years ago
- Explore LLVM Bitcode interactively using a graph database☆58Updated 5 years ago
- Load-time selective binary rewriting☆160Updated 2 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- ☆52Updated 3 years ago
- A library for GDB (with python support), that adds useful functions to the standard 'gdb' library.☆78Updated 13 years ago
- A framework for instrumenting build tools☆89Updated last month
- Fast and efficient binary translator☆58Updated 6 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- llvm crash analysis☆44Updated last year
- ☆74Updated 3 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆55Updated 3 years ago
- Linux crash harness with runtime process instrumentation☆22Updated 4 years ago
- A simple library focusing on demangling symbols for different programing languages☆47Updated 4 years ago
- GCC plugin for C language that tracks references to allocated objects☆27Updated 3 months ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- A dynamic analysis framework for C and C++ programs☆29Updated 2 months ago
- Self-hosting binary instrumentation framework for security research☆215Updated 2 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆16Updated this week
- A Python library for easy and fast program transformation/repair☆15Updated 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
- Runtime type and bounds-error checking for C/C++☆105Updated 7 months ago