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
- Just a simple radare2 Jupyter kernel☆111Updated 8 years ago
- A self-contained firewall checker☆108Updated 4 years ago
- The latest development version of rose. It may not pass all regression tests.☆106Updated 6 years ago
- statistical similarity of binaries (Esh)☆73Updated 9 years ago
- Enable piping of internal command output to external commands☆70Updated 7 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆53Updated 6 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 5 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- KLEE in the browser☆53Updated last month
- Structured shrinking of unknown file formats☆96Updated 8 years ago
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- DEPRECATED — Containerized Cloud Fuzzing☆26Updated 7 years ago
- Constant-Time Toolkit☆300Updated 7 years ago
- A framework for streamlining the capture of PANDA execution traces.☆57Updated 5 years ago
- Path based Dynamic Analysis☆118Updated 8 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆82Updated 8 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
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Hintjens' book production tools☆46Updated 9 years ago
- Secure storage for cryptographic secrets, modeled after sudo☆78Updated 5 years ago
- 1v1 tank war model built by NetLogo☆51Updated 7 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 7 years ago
- Run basic functions from stripped binaries cross platform☆113Updated 9 years ago
- Line-based testcase reducer☆100Updated 2 weeks ago
- ☆97Updated 8 years ago
- My little fuzzing framework inspired by grinder☆100Updated 8 years ago
- Hazmat ECC arithmetic for Cryptography.io☆28Updated 5 years ago
- ☆27Updated 5 years ago
- Clang SA checkers developed as part of the Melange framework☆17Updated 10 years ago