CodeHawk Binary Analyzer for malware analysis and general reverse engineering
☆39Updated this week
Alternatives and similar repositories for CodeHawk-Binary
Users that are interested in CodeHawk-Binary are comparing it to the libraries listed below
Sorting:
- CodeHawk Abstract Interpretation Engine and Analyzers☆74Updated this week
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆32Feb 3, 2026Updated 3 weeks ago
- ☆75Jan 14, 2024Updated 2 years ago
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- The datasets and source code of the NDSS 2025 paper《BinEnhance: An Enhancement Framework Based on External Environment Semantics for Bina…☆30Nov 13, 2025Updated 3 months ago
- Visualise the Data Flow Graph of the PCODE at all stages in the decompilation process☆56Apr 5, 2025Updated 10 months ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆34Feb 4, 2025Updated last year
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆95Aug 25, 2023Updated 2 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- ☆22Dec 6, 2023Updated 2 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- A versatile and easy-to-use static binary patching tool.☆55Sep 16, 2025Updated 5 months ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Feb 6, 2021Updated 5 years ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- 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
- Binja Arm64 Disassembler☆100Feb 10, 2026Updated 2 weeks ago
- Scriptable Binary Ninja plugin to enable automated coverage analysis and visualization☆136Feb 15, 2023Updated 3 years ago
- Parses and symbolizes MSVC RTTI information in Binary Ninja.☆28Nov 19, 2024Updated last year
- A tool for creating and editing SHADERed UI themes.☆14Oct 13, 2020Updated 5 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- ☆20Jan 30, 2026Updated 3 weeks ago
- ☆13May 5, 2018Updated 7 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- Some collection of router firmware tools☆11Aug 4, 2020Updated 5 years ago
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆129Feb 19, 2026Updated last week
- Makes dynamic linked shit "static". Amazing☆26Mar 23, 2021Updated 4 years ago
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Feb 21, 2026Updated last week
- Intermediate Representation for Binary analysis and transformation☆349Jan 14, 2026Updated last month
- Pandemic binary program analysis framework in OCaml (abandoned)☆71May 28, 2019Updated 6 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59May 20, 2025Updated 9 months ago
- ☆116Feb 29, 2024Updated 2 years ago
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆13Jul 11, 2025Updated 7 months ago