Alternatives and similar repositories for flexdis86

Users that are interested in flexdis86 are comparing it to the libraries listed below

• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 2 months ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆18Updated 4 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated last month
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆37Updated this week
• BinaryAnalysisPlatform / bap-frames
  Store and read traces in Protobuf
  ☆20Updated last year
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• lunixbochs / subasm
  subleq assembler / interpreter / rop chain
  ☆5Updated 5 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆65Updated 5 years ago
• ibabushkin / hapstone
  Capstone bindings for Haskell: https://github.com/aquynh/capstone
  ☆15Updated 4 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• securesystemslab / multicompiler-clang
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆18Updated 6 years ago
• GaloisInc / dismantle
  A library of assemblers and disassemblers derived from LLVM TableGen data
  ☆25Updated this week
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 6 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• AghilesAzzoug / Genetic-x86
  A python script that creates an X86 assembly code for memcpy using genetic algorithms.
  ☆10Updated 5 years ago
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆38Updated last week
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 9 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆27Updated 3 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated last month
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26Updated 4 years ago
• termite-analyser / llvm2smt
  OCaml library to transform an Llvm control flow graph in an SMT formula.
  ☆13Updated 7 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆29Updated 3 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago