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☆88Updated 7 years ago
- The latest development version of rose. It may not pass all regression tests.☆106Updated 6 years ago
- Structured shrinking of unknown file formats☆96Updated 8 years ago
- statistical similarity of binaries (Esh)☆73Updated 9 years ago
- Secure storage for cryptographic secrets, modeled after sudo☆78Updated 5 years ago
- Enable piping of internal command output to external commands☆70Updated 7 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- A self-contained firewall checker☆107Updated 3 years ago
- ☆97Updated 7 years ago
- Sequence Indexing and Search☆108Updated 2 months ago
- A practical interface generator for data formats.☆128Updated 5 years ago
- Just a simple radare2 Jupyter kernel☆111Updated 7 years ago
- Unix architecture evolution diagrams☆82Updated 6 years ago
- Constant-Time Toolkit☆297Updated 7 years ago
- Hazmat ECC arithmetic for Cryptography.io☆28Updated 5 years ago
- My little fuzzing framework inspired by grinder☆99Updated 7 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated last year
- Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2☆122Updated 10 years ago
- Combining Unit Tests, Fuzzing, and AI☆302Updated 6 years ago
- BGP Policy Verification☆26Updated 9 years ago
- A framework for streamlining the capture of PANDA execution traces.☆57Updated 5 years ago
- Demo Spectre with 70 lines code☆125Updated 7 years ago
- A binary format analysis tool☆243Updated 4 years ago
- Simple proof-of-concept for killing a hard-to-kill process☆44Updated 7 years ago
- Revectorization passes integrated into the LLVM compiler infrastructure☆30Updated 6 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆81Updated 8 years ago
- Generic server for collaborative code analysis☆13Updated 8 years ago
- Symbolic Execution Engine for Boogie☆29Updated 3 years ago
- Crema: A Sub-Turing Programming Language☆66Updated 10 years ago