GitHub topics: instruction-semantics
lifting-bits/remill
Library for lifting machine code to LLVM bitcode
Language: C++ - Size: 9.95 MB - Last synced at: 3 days ago - Pushed at: 20 days ago - Stars: 1,413 - Forks: 150
Colton1skees/Dna
LLVM based static binary analysis framework
Language: C++ - Size: 1.09 MB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 250 - Forks: 23
Colton1skees/TritonTranslator
Standalone static version of Triton's x86/x64 translator
Language: C++ - Size: 495 KB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 26 - Forks: 7
BinaryAnalysisPlatform/bap
Binary Analysis Platform
Language: OCaml - Size: 8.21 MB - Last synced at: 23 days ago - Pushed at: about 1 month ago - Stars: 2,136 - Forks: 277
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++ - Size: 57.1 MB - Last synced at: 24 days ago - Pushed at: about 1 month ago - Stars: 3,729 - Forks: 550
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: Verilog - Size: 9.55 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0
Pigrecos/Triton4Delphi
The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi
Language: Pascal - Size: 181 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 5
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# - Size: 93.8 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 2
sdasgup3/compd_cache
Size: 17.3 MB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
sdasgup3/PLDI19-ArtifactEvaluation
Artifact Evaluation, PLDI'19
Size: 656 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0