instruction-semantics

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Binary Analysis Platform

Library for lifting machine code to LLVM bitcode

LLVM based static binary analysis framework

Standalone static version of Triton's x86/x64 translator

.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.

The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi

Final Project of the Computer Architecture (ICOM4215) course, Spring 2023. The project documents the journey of three students learning the basics of the vast world of FPGAs and hardware design in general. Here We designed a SPARC-Based Processor in Verilog :D

Artifact Evaluation, PLDI'19