binary-analysis topic

This Binary Ninja plugin is written in Python 3 and it aims to assist with reverse engineering and vulnerability research. It dumps the Pseudo C representation of a binary, generated by Binja's decomp...

AsherDLL

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

binsec

A suite of experiments for evaluating open-source binary taint trackers.

Dynamic-Rabbits

Retypd plugin for Ghidra reverse engineering framework from NSA

GrammaTech

Dynamic-Rabbits

A deep learning tool for generating platform-agnostic binary code embeddings

yonsei-sslab

Modified DexDump to build instruction graph from classes.dex

maxence-ho

IDA's Lumina feature, reimplemented for Binary Ninja

ubcctf

A command line tool for extracting machine learning ready data from software binaries powered by Radare2

br0kej

Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.

binsec