nus-apr / CrashRepair
Security Vulnerability Repair via Concolic Execution and Code Mutations
☆16Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for CrashRepair
- ☆10Updated 4 years ago
- ☆23Updated 2 years ago
- ☆11Updated 3 years ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- Evolving fuzzers with large language models☆16Updated 11 months ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆13Updated last year
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆14Updated last year
- ☆27Updated last year
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago
- ☆26Updated 3 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆24Updated 8 months ago
- BigMap integration on AFL++☆15Updated 3 years ago
- ☆25Updated 2 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆12Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- Optimizing Directed Fuzzing via Target-tailored Program State Restriction☆28Updated last year
- ☆19Updated last year
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 3 years ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated last year
- a browser fuzzer☆28Updated 8 months ago
- ☆16Updated 10 months ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆29Updated last year
- aurora-d☆20Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- ☆24Updated last year