617 Open source projects that are alternatives of or similar to Triton

Binary Analysis Platform

Symbolic execution tool

Assorted pintools

Extracting high level semantic information from binary code

Program for determining types of files for Windows, Linux and MacOS.

cwe_checker finds vulnerable patterns in binary executables

DIE engine

Ghidra Analysis Enhancer 🐉

A simple (unfinished) SMT solver for QF_ABV.

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

B2R2 is a collection of useful algorithms, functions, and tools for binary analysis.

Code and exercises for a workshop on z3 and angr

Intermediate Representation for Binary analysis and transformation

DrSemu - Sandboxed Malware Detection and Classification Tool Based on Dynamic Behavior

CRETE under development

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

No description or website provided.

No description or website provided.

A powerful static binary rewriting tool

🐺 Malware analysis platform

idenLib - Library Function Identification [This project is not maintained anymore]

Python core of avatar²

yet another tool for analysing binaries

📓 Some security related notes

Public API, examples, documentation and issues for Binary Ninja

A binary analysis framework

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Reverse engineering framework in Python

Automatic verification of LLVM optimizations

The Kam1n0 Assembly Analysis Platform

Performant type-checking for python.

Andromeda - Interactive Reverse Engineering Tool for Android Applications

UNIX-like reverse engineering framework and command-line toolset

Authors

Automatic ROPChain Generation

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

No description or website provided.

The OpenSource Disassembler

Binary Analysis Framework in Rust

《macOS软件安全与逆向分析》随书源码

A fast and accurate disassembler

BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

软件安全工程师技能表

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

The PE file analysis toolkit

An impish, cross-platform binary parsing crate, written in Rust

Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.

Components of a decompilation pipeline.

Portable Reverse Engineering Framework

Automated static analysis tools for binary programs

An open source interactive disassembler

《macOS软件安全与逆向分析》勘误

Simple Theorem Prover, an efficient SMT solver for bitvectors

UNIX-like reverse engineering framework and command-line toolset.

A port of Kaitai to the Hiew hex editor

REmatch, a complete binary diffing framework that is free and strives to be open source and community driven.

Re-implementation of Abe's Exoddus and Abe's Oddysee

Precious Plastic Downloadpack

A dnSpy extension to aid reversing of obfuscated assemblies