AdaLogics / paper-analyser
☆23Updated 3 years ago
Alternatives and similar repositories for paper-analyser:
Users that are interested in paper-analyser are comparing it to the libraries listed below
- ☆24Updated 2 years ago
- CodeQL library and queries for iterator invalidation☆21Updated 3 years ago
- ☆15Updated 4 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆87Updated 3 years ago
- Sys, but no longer in Haskell☆18Updated 3 years ago
- A coverage-based software testing tool☆34Updated 4 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- ☆11Updated 3 years ago
- Default query sets for Joern☆27Updated 3 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- ☆13Updated 3 years ago
- ☆82Updated 6 months ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- tool for multi-execution jump coverage introspection☆63Updated 2 months ago
- Mayhem example templates for programming languages and fuzzers that you love!☆29Updated last year
- ☆38Updated 6 years ago
- AIL: The angr Intermediate Language.☆32Updated last week
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆51Updated last month
- Fuzzing with controlled compilation☆27Updated 2 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆120Updated 4 years ago
- ☆47Updated 4 years ago
- Public BanditFuzz Repo☆12Updated 4 years ago
- ☆53Updated 7 years ago
- Challenging testcases for fuzzers☆69Updated last year
- ☆66Updated 5 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- Target-centric program analysis.☆73Updated last week
- Fuzz testing framework for binary programs using AI☆50Updated last year