CGCL-codes / HistFuzz
A practical fuzzing tool for SMT solvers
☆11Updated last month
Related projects: ⓘ
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆39Updated last week
- ☆18Updated last year
- ☆12Updated last month
- Program Vulnerability Repair via Inductive Inference☆18Updated 8 months ago
- ☆38Updated last year
- Mutation-guided mutation-based fuzz testing☆41Updated 2 months ago
- ☆25Updated 3 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆50Updated 5 months ago
- ☆34Updated 3 months ago
- An empirical study on patch correctness☆15Updated last year
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆20Updated 7 months ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆36Updated 11 months ago
- ☆25Updated 3 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆69Updated 2 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆65Updated last week
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆55Updated 5 months ago
- ☆10Updated 3 years ago
- An external project example using SVF as a library☆19Updated 3 weeks ago
- ☆25Updated 3 years ago
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 5 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆118Updated last month
- ☆25Updated last year
- ☆21Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆45Updated 3 months ago
- ☆74Updated last year
- ☆64Updated last year
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- Software Analysis and Verification Group☆13Updated this week
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆40Updated last year