sameerreddy13 / rlcheckLinks
RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
☆47Updated 3 years ago
Alternatives and similar repositories for rlcheck
Users that are interested in rlcheck are comparing it to the libraries listed below
Sorting:
- Mutation-guided mutation-based fuzz testing☆45Updated 10 months ago
- ☆25Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 11 months ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- ☆40Updated last year
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- ☆56Updated last year
- ☆16Updated 3 months ago
- Lightweight tool for slicing☆35Updated 2 weeks ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 4 months ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆31Updated 2 years ago
- User Guided API Misuse Detection☆29Updated 2 years ago
- A tool for testing SMT solvers for incompleteness bugs☆16Updated 2 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- ☆26Updated last week
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆42Updated last year
- ☆46Updated 2 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆70Updated 6 months ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆95Updated 4 years ago
- ☆74Updated 2 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆78Updated last week
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- A powerful relational representation of source code☆31Updated last year
- ☆15Updated 5 years ago
- DBGBench Website:☆18Updated 4 years ago
- Symbolic Program Slicing with LLVM☆80Updated 4 years ago
- ☆20Updated 3 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆61Updated 6 months ago
- AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)☆22Updated last year