copernico / msr2019Links
Dataset and sample code for the paper "A Manually-Curated Dataset of Fixes to Vulnerabilities of Open-Source Software"
☆28Updated 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
- A practical interface generator for data formats.☆128Updated 5 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 5 years ago
- Just a simple radare2 Jupyter kernel☆110Updated 8 years ago
- Combining Unit Tests, Fuzzing, and AI☆302Updated 7 years ago
- Clang SA checkers developed as part of the Melange framework☆17Updated 10 years ago
- My little fuzzing framework inspired by grinder☆100Updated 8 years ago
- Hazmat ECC arithmetic for Cryptography.io☆28Updated 5 years ago
- Enable piping of internal command output to external commands☆70Updated 7 years ago
- A framework for streamlining the capture of PANDA execution traces.☆57Updated 5 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- A Z3-Based String Constraint Solver☆87Updated 6 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆52Updated 6 years ago
- Sequence Indexing and Search☆110Updated 7 months ago
- EBA is a static bug finder for C.☆15Updated 5 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆324Updated 9 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- Secure storage for cryptographic secrets, modeled after sudo☆78Updated 5 years ago
- BGP Policy Verification☆26Updated 9 years ago
- CJAG is an open-source implementation of our cache-based jamming agreement.☆285Updated 4 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆82Updated 8 years ago
- A self-contained firewall checker☆109Updated 4 years ago
- 60 artisanal compiler crashes☆39Updated 9 years ago
- Path based Dynamic Analysis☆118Updated 8 years ago
- ☆97Updated 8 years ago
- Generic server for collaborative code analysis☆13Updated 9 years ago
- Secure Coding Validation Suite☆70Updated 13 years ago