prosyslab-classroom / is593-language-based-securityLinks
☆28Updated 2 years ago
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
Sorting:
- The Sparrow Static Analyzer☆127Updated 4 years ago
- ☆63Updated last month
- ☆11Updated last year
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆225Updated 2 weeks ago
- CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)☆239Updated 5 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated last year
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆155Updated 4 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆232Updated 3 years ago
- ☆33Updated 6 years ago
- 2017s-IS521☆13Updated 8 years ago
- Inferred Model-based Fuzzer☆110Updated 3 years ago
- american fuzzy lop - a security-oriented fuzzer☆10Updated last year
- ☆53Updated last week
- ☆42Updated 2 years ago
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆87Updated last year
- CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.☆13Updated 6 years ago
- ☆14Updated 2 years ago
- a paper template☆58Updated 2 months ago
- A public repository for the class, "Software Security" at Seoul National University (SNU)☆13Updated 4 years ago
- Scalable Analysis Framework for ECMAScript☆118Updated 4 years ago
- Fuzzing JavaScript Engines with Aspect-preserving Mutation☆227Updated last year
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆16Updated 3 months ago
- ☆197Updated last month
- UT based automated fuzz driver generation☆167Updated 5 months ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 5 years ago
- autofz: Automated Fuzzer Composition at Runtime☆82Updated 2 years ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated 8 months ago
- source code for savior fuzzer☆127Updated 5 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Updated last year