prosyslab-classroom / is661-advanced-software-security
☆11Updated 3 months ago
Related projects: ⓘ
- american fuzzy lop - a security-oriented fuzzer☆9Updated 6 months ago
- ☆54Updated 3 months ago
- ☆28Updated last year
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆41Updated 6 months ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆40Updated last year
- ☆14Updated last year
- ☆11Updated this week
- ☆44Updated last week
- ☆14Updated last year
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆13Updated last year
- ☆32Updated 5 years ago
- ☆34Updated 3 months ago
- ☆19Updated 10 months ago
- CROWN: Concolic testing for Real-wOrld softWare aNalysis☆3Updated 5 years ago
- ☆43Updated 4 months ago
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆30Updated 2 years ago
- A cross platform framework to recover driver's communication interface.☆10Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆55Updated 5 months ago
- ☆14Updated this week
- The Sparrow Static Analyzer☆122Updated 3 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆45Updated 3 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆50Updated 5 months ago
- A fuzzer for SMT solvers☆19Updated last year
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆30Updated 4 months ago
- ☆25Updated 3 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆69Updated 2 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆19Updated 5 months ago
- ☆38Updated last year
- UT based automated fuzz driver generation☆164Updated last month
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆41Updated last year