AdaLogics / paper-analyserLinks
☆23Updated 4 years ago
Alternatives and similar repositories for paper-analyser
Users that are interested in paper-analyser are comparing it to the libraries listed below
Sorting:
- ☆82Updated 10 months ago
- Public BanditFuzz Repo☆12Updated 4 years ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆192Updated 2 years ago
- KLEE / CSE Project☆46Updated 5 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 6 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆90Updated 3 years ago
- Fuzzing with controlled compilation☆30Updated 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…☆41Updated last year
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆131Updated 4 years ago
- ☆25Updated 2 years ago
- ☆47Updated 5 years ago
- AFL++ with support for FormatFuzzer☆13Updated last month
- Fuzz testing framework for binary programs using AI☆51Updated last year
- Challenging testcases for fuzzers☆71Updated last year
- Differential fuzzing for Smart Contract VMs☆51Updated 3 years ago
- tool for multi-execution jump coverage introspection☆65Updated 5 months ago
- ☆12Updated 4 years ago
- ☆21Updated last year
- ☆40Updated 6 years ago
- A coverage-based software testing tool☆34Updated 4 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆23Updated 8 months ago
- ☆53Updated 7 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 3 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- fuzzing + concolic = fuzzolic :)☆123Updated last month
- ☆14Updated 3 years ago
- CollabFuzz: A Framework for Collaborative Fuzzing☆69Updated 3 years ago
- ☆65Updated 6 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆122Updated 4 years ago