instruction-semantics

There are 4 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++ 3911

• BinaryAnalysisPlatform / bap

  Binary Analysis Platform

  binary-analysisreverse-engineeringprogram-analysisstatic-analysisdynamic-analysisprogram-verificationinstruction-semanticstaint-analysisdisassemblerlifterocamlarmx86securityemulatorbappowerpcmipssymbolic-execution
  Language:OCaml 2184

• lifting-bits / remill

  Library for lifting machine code to LLVM bitcode

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

• Colton1skees / Dna

  LLVM based static binary analysis framework

  analysisbinarydeobfuscationinstruction-semanticslifterprogram-analysistritonllvmllvm-irstatic-analysisx86x86-64
  Language:C++ 264

• Colton1skees / TritonTranslator

  Standalone static version of Triton's x86/x64 translator

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

• Colton1skees / KParser

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

  x86-64vtilinstruction-semanticsk-frameworkintermediate-language
  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 11
• 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 / PLDI19-ArtifactEvaluation

  Artifact Evaluation, PLDI'19

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

• sdasgup3 / compd_cache

  x86-64z3semantic-equivalenceinstruction-semanticsllvmmcsema
  1