r4ge - plugin to perform symbolic execution with a simple macro call. Based on angr, radare2. https://github.com/gast04/r4ge
GitHub
GitHub - gast04/r4ge: Symbolic Execution Tool in r2
Symbolic Execution Tool in r2. Contribute to gast04/r4ge development by creating an account on GitHub.
cortex_m_firmware.py - module will annotate the ARM Cortex M microcontroller firmware vector table, which contains a number of function pointers. Based on IDAPython. https://github.com/duo-labs/idapython
GitHub
GitHub - duo-labs/idapython: A collection of IDAPython modules made with 💚 by Duo Labs
A collection of IDAPython modules made with 💚 by Duo Labs - duo-labs/idapython
kex - python kernel exploit library . Based on pykd. https://github.com/theevilbit/kex/ Article: https://theevilbit.blogspot.ru/2017/11/kex-python-kernel-exploit-library-major.html
GitHub
GitHub - theevilbit/kex
Contribute to theevilbit/kex development by creating an account on GitHub.
Amnesia - module designed to use byte level heuristics to find ARM thumb instructions in undefined bytes in an IDA Pro database. Based on IDAPython. https://github.com/duo-labs/idapython
GitHub
GitHub - duo-labs/idapython: A collection of IDAPython modules made with 💚 by Duo Labs
A collection of IDAPython modules made with 💚 by Duo Labs - duo-labs/idapython
*Decompile All the Things* - IDA Batch Decompile plugin and script for Hex-Ray's IDA Pro that adds the ability to batch decompile multiple files and their imports with additional annotations (xref, stack var size) to the pseudocode .c file https://github.com/tintinweb/ida-batch_decompile
GitHub
GitHub - tintinweb/ida-batch_decompile: *Decompile All the Things* - IDA Batch Decompile plugin and script for Hex-Ray's IDA Pro…
*Decompile All the Things* - IDA Batch Decompile plugin and script for Hex-Ray's IDA Pro that adds the ability to batch decompile multiple files and their imports with additional annotation...
angrop - ROP gadget finder and chain builder. Based on angr. https://github.com/salls/angrop
GitHub
GitHub - salls/angrop
Contribute to salls/angrop development by creating an account on GitHub.
QDBI - Dynamic Binary Instrumentation framework based on LLVM. pyQBDI - Python bindings. QBDI is also fully integrated with Frida. https://github.com/quarkslab/QBDI
GitHub
GitHub - QBDI/QBDI: A Dynamic Binary Instrumentation framework based on LLVM.
A Dynamic Binary Instrumentation framework based on LLVM. - GitHub - QBDI/QBDI: A Dynamic Binary Instrumentation framework based on LLVM.
Example: Triton + QDBI http://shell-storm.org/repo/Notepad/qbdi_with_triton.txt
EasyROP - tool allows you to search gadgets, operations formed by gadgets and generate automatic ROP chains in Portable Executable (PE). Based on Capstone, pefile. https://github.com/uZetta27/EasyROP
GitHub
GitHub - uZetta27/EasyROP: A Python tool to generate ROP chains
A Python tool to generate ROP chains. Contribute to uZetta27/EasyROP development by creating an account on GitHub.
IDAFuzzy - Fuzzy search tool for IDA Pro. Based on IDAPython. https://github.com/ga-ryo/idafuzzy
GitHub
GitHub - Ga-ryo/IDAFuzzy: Fuzzy search tool for IDA Pro.
Fuzzy search tool for IDA Pro. Contribute to Ga-ryo/IDAFuzzy development by creating an account on GitHub.
IDA StringCluster - extending IDA's string navigation capabilities. Based on IDAPython. https://github.com/Comsecuris/ida_strcluster
GitHub
GitHub - Comsecuris/ida_strcluster: extending IDA's string navigation capabilities
extending IDA's string navigation capabilities. Contribute to Comsecuris/ida_strcluster development by creating an account on GitHub.
Fentanyl is an IDAPython script that makes patching significantly easier https://github.com/isislab/Fentanyl
GitHub
osirislab/Fentanyl
Fentanyl is an IDAPython script that makes patching significantly easier - osirislab/Fentanyl
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE http://staticafi.github.io/symbiotic/
Symbiotic
What is Symbiotic?
Tool for verifying computer programs based on instrumentation, program slicing and symbolic executor KLEE.