airbus-cert / scrings
Semantic strings based on tree-sitter
☆13Updated last month
Alternatives and similar repositories for scrings:
Users that are interested in scrings are comparing it to the libraries listed below
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆26Updated last month
- Python bindings for BochsCPU☆35Updated last month
- Library to manipulate and create Sourcetrail databases☆20Updated 3 months ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆35Updated last year
- A tool to perform so called BGE attack☆24Updated 11 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- A Binary Ninja plugin that uses bruteforced XFG hashes to recover precise function prototypes☆15Updated last year
- weggli ruleset scanner for source code and binaries☆26Updated 3 months ago
- A binary analysis framework written in Rust.☆20Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆59Updated 2 weeks ago
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆36Updated 2 weeks ago
- ☆60Updated last month
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆32Updated last year
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆17Updated 2 weeks ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Binary Ninja plugin for interacting with the OALabs HashDB service☆18Updated 5 months ago
- A Rust crate for parsing Windows user minidumps.☆40Updated 11 months ago
- ☆47Updated last month
- Dynamic-Static binary instrumentation framework on top of GDB☆51Updated last year
- Python interface for Binexport, the Bindiff export format☆14Updated last month
- ☆11Updated 6 months ago
- Common format for transferring and applying function information across binary analysis tools☆33Updated 4 months ago
- Frida plugin for Binary Ninja☆17Updated 2 months ago
- javascript extension of windbg for hacker.☆15Updated last year
- Extract data of TTD trace file to a minidump☆28Updated last year
- Another (bad) ROP gadget finder, but this time in Rust☆20Updated 11 months ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- Symbolic Execution Engine in Rust☆20Updated last year
- Control-Flow Graph (CFG) Visualizer for VSCode☆48Updated last week