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
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 8 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 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
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 9 years ago
• tuxxy / hazmat-math
  Hazmat ECC arithmetic for Cryptography.io
  ☆28Updated 5 years ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆106Updated 4 years ago
• femto-dev / femto
  Sequence Indexing and Search
  ☆109Updated 3 months ago
• walesey / binPipe
  ☆97Updated 8 years ago
• rootkovska / codehash.db
  A public database for software and firmware hashes
  ☆214Updated 8 years ago
• jbangert / nail
  A practical interface generator for data formats.
  ☆128Updated 5 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• rongarret / scache
  Secure storage for cryptographic secrets, modeled after sudo
  ☆78Updated 5 years ago
• ANSSI-FR / transdep
  Discover SPOF in DNS dependency graphs
  ☆65Updated 7 years ago
• guedou / jupyter-radare2
  Just a simple radare2 Jupyter kernel
  ☆111Updated 7 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
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆70Updated 7 years ago
• HewlettPackard / reconbf
  Recon system hardening scanner
  ☆47Updated 9 years ago
• binspector / binspector
  A binary format analysis tool
  ☆244Updated 4 years ago
• dspinellis / unix-architecture
  Unix architecture evolution diagrams
  ☆82Updated 6 years ago
• srcclr / build-inspector
  Inspect your builds to look for changes in filesystem, network traffic and running processes.
  ☆13Updated 7 years ago
• tomviner / afl-fuzzing-demos
  Fuzzing things with afl and python-afl
  ☆59Updated 9 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆53Updated 6 years ago
• pornin / CTTK
  Constant-Time Toolkit
  ☆298Updated 7 years ago
• recdnsfp / recdnsfp.github.io
  ☆56Updated 8 years ago
• tumi8 / cca-privacy
  TLS Client Certificate Authentication and its Privacy Implications
  ☆15Updated 8 years ago
• crioux / turbo-linecount
  Superfast Line Counter
  ☆51Updated 4 years ago
• susperius / PyFuzz2
  My little fuzzing framework inspired by grinder
  ☆99Updated 8 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