lse / wakare
experimentation/code from Tanguy Dubroca (summer 2019)
☆27Updated 5 years ago
Alternatives and similar repositories for wakare:
Users that are interested in wakare are comparing it to the libraries listed below
- Toshiba MeP-c4 for Ghidra☆22Updated 5 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 6 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆50Updated 6 years ago
- x86 bootloader emulation with Miasm (case of NotPetya)☆40Updated 5 years ago
- Python based angr plug in for IDA Pro.☆34Updated 6 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 3 years ago
- ☆26Updated 6 years ago
- Binary Ninja plugin that syncs WinDbg to Binary Ninja☆47Updated 6 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆25Updated last year
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- Bootloader research tools (very much a work in progress)☆37Updated 5 years ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆51Updated 5 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- ☆18Updated 6 years ago
- A Low Level IL emulator for Binary Ninja☆36Updated 5 years ago
- Automatic Vulnerability Discovery☆37Updated 5 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- Python portage of the Microcode Explorer plugin☆31Updated 5 years ago
- Python repository containing parsed standard C library function and argument information☆26Updated 6 years ago
- Cross-architecture instruction counting for CTF solving☆45Updated 2 years ago
- A GUI fuzzing application set up to fuzz calc.exe right now☆36Updated 4 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Ghidra loader module for the Mobicore trustlet and driver binaries☆27Updated 5 years ago
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆28Updated 3 years ago