CTF solution without real ARM device. Based on Unicorn, Capstone, Kyestone. https://t.co/90BZX2bxm8

Manticore - dynamic binary analysis tool. Based on capstone, pyelftools, unicorn, smtlib. https://t.co/7OWqQztNAW

Article: "Manticore: Symbolic execution for humans" https://t.co/ocZocV9eQO

Lighthouse - Code Coverage Explorer for IDA Pro. Based in IDAPython. https://t.co/DsloB34pb4

r4ge - plugin to perform symbolic execution with a simple macro call. Based on angr, radare2. https://github.com/gast04/r4ge

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

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

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

mona - Fork of mona.py with x64dbg support. https://github.com/x64dbg/mona

*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

angrop - ROP gadget finder and chain builder. Based on angr. https://github.com/salls/angrop

Hex-Rays Plug-In Contest 2017: Hall Of Fame https://www.hex-rays.com/contests/2017/index.shtml

QDBI - Dynamic Binary Instrumentation framework based on LLVM. pyQBDI - Python bindings. QBDI is also fully integrated with Frida. https://github.com/quarkslab/QBDI

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

ELF/PE/Mach-O parsing library https://github.com/airbus-seclab/elfesteem

IDAFuzzy - Fuzzy search tool for IDA Pro. Based on IDAPython. https://github.com/ga-ryo/idafuzzy

Collaborative malware analysis framework https://github.com/ANSSI-FR/polichombr

Programmatic disassembly and patching https://github.com/isislab/dispatch

IDA StringCluster - extending IDA's string navigation capabilities. Based on IDAPython. https://github.com/Comsecuris/ida_strcluster