Alternatives and similar repositories for msr2019

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

• calaylin / bda
  Programmer De-anonymization from Binary Executables
  ☆87Updated 7 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 8 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 6 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 9 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆86Updated last year
• dspinellis / unix-architecture
  Unix architecture evolution diagrams
  ☆82Updated 6 years ago
• susperius / PyFuzz2
  My little fuzzing framework inspired by grinder
  ☆99Updated 7 years ago
• guedou / jupyter-radare2
  Just a simple radare2 Jupyter kernel
  ☆111Updated 7 years ago
• rongarret / scache
  Secure storage for cryptographic secrets, modeled after sudo
  ☆78Updated 5 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• rootkovska / codehash.db
  A public database for software and firmware hashes
  ☆215Updated 8 years ago
• tuxxy / hazmat-math
  Hazmat ECC arithmetic for Cryptography.io
  ☆28Updated 5 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆71Updated 7 years ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆122Updated 10 years ago
• dekimir / RamFuzz
  Combining Unit Tests, Fuzzing, and AI
  ☆302Updated 6 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 6 years ago
• letoram / senseye
  Dynamic Visual Debugging / Reverse Engineering Toolsuite
  ☆252Updated 6 years ago
• TLINDEN / pcp
  Pretty Curved Privacy
  ☆122Updated 7 years ago
• tumi8 / cca-privacy
  TLS Client Certificate Authentication and its Privacy Implications
  ☆15Updated 8 years ago
• jbangert / nail
  A practical interface generator for data formats.
  ☆127Updated 5 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 9 years ago
• CryptoExperts / million-dollar-curve
  ☆89Updated 9 years ago
• vusec / pandacap
  A framework for streamlining the capture of PANDA execution traces.
  ☆57Updated 5 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆56Updated 6 years ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆13Updated 8 years ago
• sciencemanx / ctf_import
  Run basic functions from stripped binaries cross platform
  ☆111Updated 8 years ago
• samvartaka / crypto_backdoors
  Various cryptographic backdoors and tools to detect them
  ☆21Updated 9 years ago
• klee / klee-web
  KLEE in the browser
  ☆52Updated 3 weeks ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago