instruction-semantics
Here are 10 public repositories matching this topic...
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
- Updated Jul 28, 2026
- C++
Binary Analysis Platform
- Updated May 7, 2026
- OCaml
Library for lifting machine code to LLVM bitcode
- Updated Aug 27, 2026
- C++
LLVM based static binary analysis framework
- Updated Aug 15, 2026
- C++
Standalone static version of Triton's x86/x64 translator
- Updated May 2, 2026
- C++
.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.
- Updated Feb 4, 2021
- C#
The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi
- Updated Oct 25, 2023
- Pascal
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
- Updated Sep 14, 2023
- Verilog
Artifact Evaluation, PLDI'19
- Updated Apr 18, 2020
- Updated Dec 16, 2019
Improve this page
Add a description, image, and links to the instruction-semantics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the instruction-semantics topic, visit your repo's landing page and select "manage topics."