srcML / srcSliceLinks
Lightweight tool for slicing
☆35Updated 2 weeks ago
Alternatives and similar repositories for srcSlice
Users that are interested in srcSlice are comparing it to the libraries listed below
Sorting:
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- User Guided API Misuse Detection☆29Updated 2 years ago
- ☆40Updated last year
- ☆20Updated 3 years ago
- KLEE / CSE Project☆45Updated 5 years ago
- ☆17Updated 5 years ago
- ☆50Updated 4 years ago
- Mutation-guided mutation-based fuzz testing☆45Updated 10 months ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- DBGBench Website:☆18Updated 4 years ago
- ☆25Updated 3 years ago
- Static Slicer for LLVM☆66Updated 9 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆78Updated last week
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆44Updated 5 years ago
- Symbolic Program Slicing with LLVM☆80Updated 4 years ago
- ☆20Updated 6 years ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 11 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- ☆56Updated last year
- StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…☆11Updated 6 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Updated last year
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- Constraint solver based on coverage-guided fuzzing☆247Updated last year
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year
- ☆39Updated 2 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year