copernico / msr2019Links
Dataset and sample code for the paper "A Manually-Curated Dataset of Fixes to Vulnerabilities of Open-Source Software"
☆27Updated 6 years ago
Alternatives and similar repositories for msr2019
Users that are interested in msr2019 are comparing it to the libraries listed below
Sorting:
- Programmer De-anonymization from Binary Executables☆86Updated 7 years ago
- Automatically fix programs by leveraging existing patches from other projects and similar code snippets from the faulty project.☆205Updated 2 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- statistical similarity of binaries (Esh)☆73Updated 9 years ago
- Sequence Indexing and Search☆107Updated 2 weeks ago
- Structured shrinking of unknown file formats☆96Updated 8 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- Just a simple radare2 Jupyter kernel☆111Updated 7 years ago
- Constant-Time Toolkit☆296Updated 6 years ago
- A practical interface generator for data formats.☆127Updated 4 years ago
- The SIMON and SPECK families of lightweight block ciphers. #nsacyber☆166Updated 5 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- ☆198Updated this week
- Secure storage for cryptographic secrets, modeled after sudo☆78Updated 5 years ago
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- A framework for streamlining the capture of PANDA execution traces.☆57Updated 5 years ago
- Enable piping of internal command output to external commands☆71Updated 6 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆81Updated 8 years ago
- Hazmat ECC arithmetic for Cryptography.io☆28Updated 5 years ago
- [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…☆75Updated 3 years ago
- A self-contained firewall checker☆106Updated 3 years ago
- BGP Policy Verification☆25Updated 8 years ago
- ☆11Updated 3 weeks ago
- Demonstrating that disabling ICC in docker does not block raw packets between containers.☆66Updated 7 years ago
- Discover SPOF in DNS dependency graphs☆66Updated 7 years ago
- New TLS Padding Oracles☆125Updated 2 years ago
- ☆97Updated 7 years ago
- Unix architecture evolution diagrams☆82Updated 6 years ago
- A public database for software and firmware hashes☆215Updated 8 years ago
- Symbolic Execution Engine for Boogie☆29Updated 3 years ago