instruction-semantics

There are 10 repositories under instruction-semantics topic.

JonathanSalwan/Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Language:C++3.5k 137 961539
BinaryAnalysisPlatform/bap
Binary Analysis Platform
Language:OCaml2.1k 93 493273
lifting-bits/remill
Library for lifting machine code to LLVM bitcode
Language:C++1.3k 65 247145
Colton1skees/Dna
LLVM based static binary analysis framework
Language:C++191 5 318
Colton1skees/TritonTranslator
Standalone static version of Triton's x86/x64 translator
Language:C++19 2 05
Colton1skees/KParser
.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.
Language:C#16 1 01
Pigrecos/Triton4Delphi
The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi
Language:Pascal9 3 05
FrenzyExists/Computer-Architecture-Project-SPARC
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
Language:Verilog5 4 00
sdasgup3/compd_cache
1 2 0
sdasgup3/PLDI19-ArtifactEvaluation
Artifact Evaluation, PLDI'19
1 3 0