prosyslab-classroom / is593-language-based-security
☆28Updated last year
Alternatives and similar repositories for is593-language-based-security:
Users that are interested in is593-language-based-security are comparing it to the libraries listed below
- ☆11Updated 9 months ago
- ☆58Updated 2 weeks ago
- The Sparrow Static Analyzer☆126Updated 3 years ago
- ☆14Updated 2 years ago
- ☆43Updated 3 months ago
- ☆14Updated 2 years ago
- ☆45Updated 4 months ago
- CROWN: Concolic testing for Real-wOrld softWare aNalysis☆3Updated 5 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆45Updated last year
- american fuzzy lop - a security-oriented fuzzer☆9Updated last year
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆15Updated last year
- ☆33Updated 6 years ago
- 2017s-IS521☆13Updated 7 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆47Updated 6 months ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆219Updated 2 weeks ago
- CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)☆239Updated 5 years ago
- ☆19Updated last year
- 2018s-IS521☆8Updated 6 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- Inferred Model-based Fuzzer☆110Updated 3 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆153Updated 3 years ago
- Samsung CTF 2018 Problems. https://research.samsung.com/sctf2018☆13Updated 5 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆81Updated 6 years ago
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆87Updated 10 months ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆226Updated 3 years ago
- A public repository for the class, "Software Security" at Seoul National University (SNU)☆13Updated 3 years ago
- ☆21Updated 3 years ago
- Unveiling Bluetooth L2CAP Vulnerabilities via State Cluster Fuzzing with Target-Oriented State Machines☆23Updated last year
- Samsung CTF 2017 Problems. https://sctf.codeground.org☆23Updated 6 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago