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
  ☆88Updated 7 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 8 years ago
• xgdsmileboy / SimFix
  Automatically fix programs by leveraging existing patches from other projects and similar code snippets from the faulty project.
  ☆206Updated 2 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• guedou / jupyter-radare2
  Just a simple radare2 Jupyter kernel
  ☆111Updated 8 years ago
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 9 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 5 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆53Updated 6 years ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆122Updated 10 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
  ☆70Updated 7 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆108Updated 4 years ago
• coinbase / maxfuzz
  DEPRECATED — Containerized Cloud Fuzzing
  ☆26Updated 7 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆82Updated 8 years ago
• jbangert / nail
  A practical interface generator for data formats.
  ☆128Updated 5 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆325Updated 9 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆29Updated 6 years ago
• walesey / binPipe
  ☆97Updated 8 years ago
• klee / klee-web
  KLEE in the browser
  ☆53Updated last week
• femto-dev / femto
  Sequence Indexing and Search
  ☆110Updated 6 months ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 6 years ago
• susperius / PyFuzz2
  My little fuzzing framework inspired by grinder
  ☆100Updated 8 years ago
• sciencemanx / ctf_import
  Run basic functions from stripped binaries cross platform
  ☆113Updated 9 years ago
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 4 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated last month
• isec-tugraz / CJAG
  CJAG is an open-source implementation of our cache-based jamming agreement.
  ☆285Updated 4 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 7 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆118Updated 8 years ago
• vusec / pandacap
  A framework for streamlining the capture of PANDA execution traces.
  ☆57Updated 5 years ago