spgroup / conflict-static-analysis
☆15Updated 2 weeks ago
Alternatives and similar repositories for conflict-static-analysis
Users that are interested in conflict-static-analysis are comparing it to the libraries listed below
Sorting:
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆9Updated 5 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 3 months ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- ☆17Updated last year
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆14Updated 2 years ago
- ReDeBug Source Code.☆24Updated last year
- A Static Code Feature Extraction Tool for Java and Android☆20Updated last year
- ☆12Updated 3 years ago
- ☆27Updated 2 years ago
- ☆24Updated 2 years ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- ☆16Updated 3 months ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- A coverage-based software testing tool☆34Updated 4 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆36Updated 3 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- Sys, but no longer in Haskell☆18Updated 3 years ago
- ☆22Updated 2 years ago
- AFL enhanced for concurrency bug and vulnerabilities☆20Updated 4 years ago
- ☆53Updated 7 years ago
- This is the project of LearnAFL.☆27Updated 4 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- ☆20Updated 8 months ago
- ☆26Updated last year
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- Semantic Crash Bucketing☆15Updated 4 years ago
- ☆11Updated 2 years ago