trailofbits / binary_type_inferenceLinks
☆21Updated last year
Alternatives and similar repositories for binary_type_inference
Users that are interested in binary_type_inference are comparing it to the libraries listed below
Sorting:
- ☆74Updated 2 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 8 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆38Updated last week
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆61Updated 4 years ago
- ☆17Updated 2 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆23Updated 7 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆127Updated last week
- Tantō slices functions into more consumable chunks☆78Updated last month
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated last year
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆34Updated last year
- Flex 'em lexers☆42Updated 5 years ago
- Common format for transferring and applying function information across binary analysis tools☆58Updated 3 months ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆33Updated 3 weeks ago
- A (SLEIGH) disassembler that supports multiple architectures☆88Updated 3 years ago
- The CRISPR static binary patcher☆37Updated 5 years ago
- ☆39Updated 3 years ago
- Scalable Validator for Binary Lifters☆62Updated 5 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated last year
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Updated last year
- A Ghidra extension for running Kotlin scripts☆16Updated 5 years ago
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆42Updated 3 years ago
- simple type recognition in decompiled executables☆118Updated last year
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Updated this week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆135Updated last month
- Retypd plugin for Ghidra reverse engineering framework from NSA☆27Updated 2 years ago
- ☆45Updated 3 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆117Updated last year
- Peripheral Transplantation to Rehost Embedded Linux kernels☆16Updated 3 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …☆64Updated 4 years ago