zyq8709

DexHunter

General Automatic Unpacking Tool for Android Dex Files

klee

KLEE Symbolic Virtual Machine

android_s2e

Run android with S2E

paimei

A reverse engineering framework written in Python.

vmprotect-3.5.1

andersen

Andersen's inclusion-based pointer analysis re-implementation in LLVM

angr

The next-generation binary analysis platform from UC Santa Barbara's Seclab!

autopsy

Autopsy® is a digital forensics platform and graphical interface to The Sleuth Kit® and other digital forensics tools. It can be used by law enforcement, military, and corporate examiners to investigate what happened on a computer. You can even use it to recover photos from your camera's memory card. Installers can be found at: http://www.sf.net/projects/autopsy/files/autopsy

BinAbsInspector

BinAbsInspector: Vulnerability Scanner for Binaries

ghidra

Ghidra is a software reverse engineering (SRE) framework

infer

A static analyzer for Java, C and Objective-C

mona

Corelan Repository for mona.py

ocaml

The core OCaml system: compilers, runtime system, base libraries

PHP-Parser

A PHP parser written in PHP

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

qira

QEMU Interactive Runtime Analyser

s2e

S2E - A Platform for In-Vivo Multi-Path Software Analysis

souper

A superoptimizer for LLVM IR

sulley

A pure-python fully automated and unattended fuzzing framework.

torchdynamo

A Python-level JIT compiler designed to make unmodified PyTorch programs faster.

tower-pc

An x86 PC emulator

x64dbg

An open-source x64/x32 debugger for windows.