Alternatives and similar repositories for reference:

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

• decomp / doc
  Design documents related to the decompilation pipeline.
  ☆26Updated 4 years ago
• Frky / scat
  Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).
  ☆67Updated 7 years ago
• c01db33f / reil
  REIL translation library
  ☆36Updated 9 years ago
• dyninst / tools
  Tools built using Dyninst or Dyninst component libraries.
  ☆25Updated 2 years ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆37Updated 4 years ago
• schieb / ELFManip
  Modify ELF executables
  ☆16Updated 6 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
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• gdslang / gdsl-toolkit
  Generic Decoder Specification Language Toolkit
  ☆32Updated 6 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• HexHive / libdetox
  Fast and efficient binary translator
  ☆58Updated 6 years ago
• zachriggle / functions
  Python repository containing parsed standard C library function and argument information
  ☆26Updated 6 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆33Updated 4 years ago
• simutrace / simutrace
  Tracing framework for full system simulators
  ☆56Updated 9 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 4 years ago
• danigargu / ratone
  A console for assemble/disassemble code using capstone/keystone
  ☆31Updated 6 years ago
• sushant94 / rune
  rune - radare2 based symbolic emulator
  ☆26Updated 7 years ago
• pzread / symx
  Lightweight Symbolic Execution Engine
  ☆23Updated 9 years ago
• xorpd / fcatalog_server
  Functions Catalog
  ☆28Updated 5 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• v-p-b / ivmi
  Interactive Virtual Machine Introspection
  ☆18Updated 7 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆101Updated 5 months ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• lyvd / C2Ass
  A tiny tool to learn the assembly code
  ☆11Updated 8 years ago
• jbremer / ssexy
  Translate regular Assembly into Extended Instructions
  ☆86Updated 12 years ago
• mrmacete / r2scripts
  Collection of scripts for radare2
  ☆28Updated 6 years ago
• farosato / angr-antievasion
  Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
  ☆34Updated 7 years ago
• disasmwinnie / proxbbe
  ProXBBE (Protocol eXtraction By Binary Execution)
  ☆31Updated 7 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago