prosyslab-classroom / is593-language-based-securityLinks
☆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
Sorting:
- The Sparrow Static Analyzer☆126Updated 3 years ago
- ☆11Updated last year
- ☆61Updated 2 months ago
- CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)☆240Updated 5 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆222Updated this week
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆154Updated 3 years ago
- CROWN: Concolic testing for Real-wOrld softWare aNalysis☆3Updated 6 years ago
- ☆44Updated 2 weeks ago
- 2017s-IS521☆14Updated 8 years ago
- ☆14Updated 2 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆231Updated 3 years ago
- 2018s-IS521☆9Updated 7 years ago
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆15Updated 4 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated last year
- Inferred Model-based Fuzzer☆111Updated 3 years ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated 6 months ago
- a paper template☆56Updated last week
- Open Theori Research Seminar☆18Updated 6 years ago
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆16Updated last month
- Fuzzing JavaScript Engines with Aspect-preserving Mutation☆226Updated last year
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆48Updated 10 months ago
- ☆42Updated 2 years ago
- A public repository for the class, "Software Security" at Seoul National University (SNU)☆13Updated 4 years ago
- Git-based CTF☆60Updated 6 years ago
- ☆33Updated 6 years ago
- Scalable Analysis Framework for ECMAScript☆120Updated 4 years ago
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆29Updated 3 years ago
- ☆14Updated 2 years ago
- ☆47Updated 2 weeks ago