mlaurenzano / PEBILLinks
Fast static binary instrumentation for linux/x86
☆83Updated 8 years ago
Alternatives and similar repositories for PEBIL
Users that are interested in PEBIL are comparing it to the libraries listed below
Sorting:
- ☆56Updated 3 years ago
- ☆55Updated 5 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆106Updated 7 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 10 years ago
- ☆67Updated 4 years ago
- Modular And Compositional analysis with KLEE Engine☆117Updated 6 years ago
- Utilities for generating dynamic traces☆94Updated 10 months ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆178Updated 3 years ago
- K-Miner☆74Updated 6 years ago
- UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages☆43Updated 4 years ago
- ☆74Updated 6 years ago
- Seeding fuzzers with symbolic execution☆203Updated 8 years ago
- Public release of the tools used to assist in gadget finding.☆42Updated 8 years ago
- ☆69Updated 6 years ago
- ☆95Updated 6 years ago
- Timeless debugging with symbolic execution and processor trace☆75Updated 5 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆37Updated 9 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆60Updated 5 years ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆96Updated 3 weeks ago
- ☆53Updated 6 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆127Updated 5 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Updated 3 years ago
- QEMU-based framework exposing several of QEMU-internal APIs to a LuaJIT core injected into QEMU itself. Among other things, this allows f…☆154Updated 7 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆141Updated 4 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆215Updated 5 months ago
- CRETE under development☆60Updated 5 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆91Updated last year
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆83Updated 5 years ago
- A patched version of VEX to work with PyVEX.☆113Updated this week
- fuzzing framework based on libfuzzer and clang sanitizer☆168Updated 6 years ago