Projects in Awesome Lists tagged with instruction-semantics

https://github.com/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.

binary-analysis binary-translation deobfuscation dynamic-analysis emulator instruction-semantics lifter program-analysis reverse-engineering symbolic-execution taint-analysis

Last synced: 12 May 2025

https://github.com/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.

binary-analysis binary-translation deobfuscation dynamic-analysis emulator instruction-semantics lifter program-analysis reverse-engineering symbolic-execution taint-analysis

Last synced: 12 Mar 2025

https://github.com/binaryanalysisplatform/bap

Binary Analysis Platform

arm bap binary-analysis disassembler dynamic-analysis emulator instruction-semantics lifter mips ocaml powerpc program-analysis program-verification reverse-engineering security static-analysis symbolic-execution taint-analysis x86

Last synced: 14 May 2025

https://github.com/BinaryAnalysisPlatform/bap

Binary Analysis Platform

arm bap binary-analysis disassembler dynamic-analysis emulator instruction-semantics lifter mips ocaml powerpc program-analysis program-verification reverse-engineering security static-analysis symbolic-execution taint-analysis x86

Last synced: 20 Apr 2025

https://github.com/lifting-bits/remill

Library for lifting machine code to LLVM bitcode

aarch64 armv7 armv8 instruction-semantics llvm llvm-ir sparcv8 sparcv9 thumb2 x86 x86-64

Last synced: 15 May 2025

https://github.com/Colton1skees/Dna

LLVM based static binary analysis framework

analysis binary deobfuscation instruction-semantics lifter llvm llvm-ir program-analysis static-analysis triton x86 x86-64

Last synced: 18 Oct 2025

https://github.com/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

computer-architecture forwarding-unit fpga hardware icom-4215 instruction-semantics sparc-architecture sparcv8 uprm verilog