elManto / SAST_on_Decompilers
Code and artifacts related to the Asia CCS 2022 paper
☆36Updated 3 years ago
Alternatives and similar repositories for SAST_on_Decompilers:
Users that are interested in SAST_on_Decompilers are comparing it to the libraries listed below
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆64Updated 3 years ago
- ☆18Updated last year
- ☆25Updated last year
- ☆25Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆74Updated 3 years ago
- ☆34Updated last year
- Coverage-guided Fuzzing as Online Stochastic Control☆48Updated 4 months ago
- An Automated Heap Feng Shui Tool☆16Updated 2 years ago
- A collection of widely-fuzzed targets☆45Updated 5 years ago
- ☆34Updated 2 years ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆34Updated 3 months ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- ☆31Updated last year
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆33Updated 10 months ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆24Updated 2 years ago
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- ☆17Updated last year
- aurora-d☆20Updated 2 years ago
- Code for UI, backend, engine and statistical analysis for RE☆20Updated 3 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆13Updated 2 years ago
- ☆19Updated 4 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆13Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 10 months ago
- UAF Fuzzing Benchmark☆57Updated 4 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago
- ☆30Updated last month
- Optimizing Directed Fuzzing via Target-tailored Program State Restriction☆28Updated last year
- ☆51Updated 10 months ago