Triton: A dynamic binary analysis library
angr — the binary analysis platform
The powerful, user-friendly Python platform for analyzing binaries. Decompilation, symbolic execution, and more in one scriptable toolkit.
Kaitai Struct: declarative binary format parsing language
Kaitai Struct is a formal language for binary format specification that can be compiled into parser code
Frida • A world-class dynamic instrumentation toolkit
Observe and reprogram running programs on Windows, macOS, GNU/Linux, iOS, watchOS, tvOS, Android, FreeBSD, and QNX
Symbolica | Modern Computer Algebra
High-performance symbolic-numeric computing for Python and Rust.
Welcome to Triton’s documentation! — Triton documentation
Triton is a language and compiler for parallel programming. It aims to provide a Python-based programming environment for productively writing custom DNN compute kernels capable of running at maximal throughput on modern GPU hardware.
Compiling Match Statements to Bytecode
Full pipeline deep dive for purple garden: AST, BB SSA IR, Bytecode, Optimisations
Relyze - Interactive x86, x64, ARM32 and ARM64 software reverse engineering
Relyze lets you disassemble, decompile and binary diff native code software.
Defining the common primitive — Tonk
Our beta test results have shown that Tonk's system for small software was one of many use cases, and that there is a common primitive between them all. A tonk space is data at a link, with its structure, views and rules. People, agents and systems read and write it with the permissions in the link.
hugsy/gef
GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux
MirrorCode: A benchmark for real-world software projects
How programs get run: ELF binaries
The previous article in this series described the general mechanisms that th [...]
bytecodealliance/wasmtime
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant