sameerreddy13 / rlcheck
RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
☆45Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for rlcheck
- ☆39Updated last year
- Mutation-guided mutation-based fuzz testing☆41Updated 4 months ago
- ☆25Updated 3 years ago
- ☆54Updated 11 months ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 11 months ago
- User Guided API Misuse Detection☆27Updated last year
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆62Updated 3 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆67Updated 3 weeks ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆20Updated last month
- A framework for testing compilers' type checkers☆17Updated this week
- The ISLa (Input Specification Language) language & solver.☆62Updated 4 months ago
- ☆20Updated 5 years ago
- ☆26Updated 2 months ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆38Updated 4 years ago
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆23Updated last year
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 6 months ago
- A unification-based alias analysis and related tools☆30Updated last month
- DBGBench Website:☆18Updated 3 years ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 3 years ago
- ☆13Updated this week
- PTABen: Micro-benchmark Suite for Pointer Analysis☆72Updated last week
- Dynamic Analysis for Concurrent Programs☆22Updated last month
- Code2Inv: Learning Loop Invariants for Program Verification☆85Updated 3 years ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- Static Slicer for LLVM☆65Updated 8 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Official repository for PraPR source code☆14Updated 3 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆52Updated 7 months ago