instruction-semantics

There are 2 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.

  binary-analysisbinary-translationdeobfuscationdynamic-analysisemulatorinstruction-semanticslifterprogram-analysisreverse-engineeringsymbolic-executiontaint-analysis
  Language:C++ 3299

• BinaryAnalysisPlatform / bap

  Binary Analysis Platform

  armbapbinary-analysisdisassemblerdynamic-analysisemulatorinstruction-semanticsliftermipsocamlpowerpcprogram-analysisprogram-verificationreverse-engineeringsecuritystatic-analysissymbolic-executiontaint-analysisx86
  Language:OCaml 1972

• lifting-bits / remill

  Library for lifting machine code to LLVM bitcode

  x86x86-64aarch64llvmllvm-irinstruction-semanticsarmv7armv8thumb2sparcv8sparcv9
  Language:C++ 1176

• Colton1skees / Dna

  Static analysis & deobfuscation framework for x86/x64

  analysisbinarydeobfuscationinstruction-semanticslifterprogram-analysissymbolic-executiontritondecompilerllvmllvm-irstatic-analysisx86x86-64
  Language:C# 83

• Colton1skees / TritonTranslator

  Standalone static version of Triton's x86/x64 translator

  binary-translationdeobfuscationinstruction-semanticslifterprogram-analysisstatic-analysistriton
  Language:C++ 18

• Colton1skees / KParser

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

  instruction-semanticsintermediate-languagek-frameworkvtilx86-64
  Language:C# 16

• Pigrecos / Triton4Delphi

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

  reverse-engineeringsymbolic-executionbinary-analysisinstruction-semanticstaint-analysisbinary-translationdelphi
  Language:Pascal 8
• Computer-Architecture-Project-SPARC

  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

  fpgahardwareveriloguprmicom-4215sparc-architecturesparcv8instruction-semanticsforwarding-unitcomputer-architecture
  Language:Verilog 4

• sdasgup3 / compd_cache

  x86-64z3semantic-equivalenceinstruction-semanticsllvmmcsema
  1

• sdasgup3 / PLDI19-ArtifactEvaluation

  Artifact Evaluation, PLDI'19

  instruction-semanticsformal-semanticsx86-64program-verificationisa-specification
  1