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
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 5 years ago
• jbangert / nail
  A practical interface generator for data formats.
  ☆128Updated 5 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆70Updated 7 years ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆108Updated 4 years ago
• rongarret / scache
  Secure storage for cryptographic secrets, modeled after sudo
  ☆78Updated 5 years ago
• pornin / CTTK
  Constant-Time Toolkit
  ☆300Updated 7 years ago
• tuxxy / hazmat-math
  Hazmat ECC arithmetic for Cryptography.io
  ☆28Updated 5 years ago
• femto-dev / femto
  Sequence Indexing and Search
  ☆109Updated 5 months 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
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 9 years ago
• guedou / jupyter-radare2
  Just a simple radare2 Jupyter kernel
  ☆111Updated 7 years ago
• walesey / binPipe
  ☆97Updated 8 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• dekimir / RamFuzz
  Combining Unit Tests, Fuzzing, and AI
  ☆302Updated 6 years ago
• rootkovska / codehash.db
  A public database for software and firmware hashes
  ☆214Updated 9 years ago
• ainfosec / crema
  Crema: A Sub-Turing Programming Language
  ☆66Updated 10 years ago
• dspinellis / unix-architecture
  Unix architecture evolution diagrams
  ☆82Updated 6 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆82Updated 8 years ago
• aryx / pfff
  See https://github.com/returntocorp/pfff which is now the official pfff repository
  ☆34Updated 5 years ago
• konne88 / bagpipe
  BGP Policy Verification
  ☆26Updated 9 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• ANSSI-FR / transdep
  Discover SPOF in DNS dependency graphs
  ☆65Updated 7 years ago
• lknik / gdpr
  ☆95Updated 6 years ago
• project-everest / everest
  ☆203Updated last month
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆106Updated last year
• klee / klee-web
  KLEE in the browser
  ☆52Updated last week