Symbolic Execution over Falcon IL
☆30Aug 28, 2021Updated 4 years ago
Alternatives and similar repositories for finch
Users that are interested in finch are comparing it to the libraries listed below
Sorting:
- ☆17May 19, 2022Updated 3 years ago
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- rune - radare2 based symbolic emulator☆27Aug 29, 2017Updated 8 years ago
- Binary Analysis Framework in Rust☆582Jan 22, 2024Updated 2 years ago
- Some Rust bindings for Binary Ninja☆31Oct 4, 2023Updated 2 years ago
- Corpus of crypto formats☆12Dec 2, 2022Updated 3 years ago
- zig toml library☆12Dec 29, 2020Updated 5 years ago
- minimal lisp that compiles to x86☆10Mar 19, 2017Updated 8 years ago
- Easy sandboxing for rust☆11Jun 19, 2016Updated 9 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- IDA ExtraPass PlugIn☆15Jan 24, 2016Updated 10 years ago
- Exploitation primitives worth mentioning surrounding Glibc's Malloc implementation☆17Jun 26, 2018Updated 7 years ago
- Semantic strings based on tree-sitter☆17Feb 19, 2025Updated last year
- ☆17Aug 31, 2023Updated 2 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Apr 28, 2022Updated 3 years ago
- Bootloader research tools (very much a work in progress)☆37Apr 5, 2019Updated 6 years ago
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 3 years ago
- the ill programming language & interpreter☆13Oct 10, 2018Updated 7 years ago
- Framework to reverse engineer binaries and evaluate similarities across a large collections of files. Uses sector hashing and data flow …☆15May 23, 2023Updated 2 years ago
- Experimental translation of llvm to smt.☆58Apr 8, 2020Updated 5 years ago
- A sandboxed Python subset for safe evaluation☆32Jun 28, 2022Updated 3 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆250Oct 23, 2024Updated last year
- Binary Ninja Plugin for Generating Callgraphs☆17Jun 17, 2025Updated 8 months ago
- A disassembler framework☆19Sep 16, 2022Updated 3 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆103Jul 15, 2025Updated 7 months ago
- Extract and generate code based on name and type for mig func/arg/request&reply member etc, ideal helper for creating monitor, tracker, f…☆19Jun 5, 2018Updated 7 years ago
- A ptrace based sandbox. (PoC)☆14Jun 3, 2018Updated 7 years ago
- bitshred research project code.☆14Feb 12, 2016Updated 10 years ago
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆18Jun 6, 2024Updated last year
- A cross-platform library to parse Objective-C type encoding.☆43Sep 1, 2024Updated last year
- IDA Database Parser for Rust☆25Sep 13, 2024Updated last year
- ☆42Aug 4, 2020Updated 5 years ago
- Rust crates with map and set with interval keys (ranges x..y).☆15Jan 1, 2025Updated last year
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆78Nov 16, 2017Updated 8 years ago
- ☆25Aug 6, 2025Updated 6 months ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago