☆24May 18, 2021Updated 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:
- ☆12Aug 8, 2019Updated 6 years ago
- ☆28Dec 22, 2025Updated 2 months ago
- ☆183May 27, 2024Updated last year
- Fuzz-introspector has moved (but is actively maintained) - please follow the project here https://github.com/ossf/fuzz-introspector☆14Dec 3, 2021Updated 4 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- java clients for sigstore☆74Updated this week
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- ✨🔐 CNCF Fuzzers☆131Mar 9, 2026Updated last week
- a simple crawler for diagnosing connectivity issues in the ipfs network☆13Jan 22, 2019Updated 7 years ago
- bil verification tool☆12Jun 30, 2022Updated 3 years ago
- Tough Fuzzer is an obstacle course for go-fuzz composed of a series of small code samples which encapsulate the most common obstacles to …☆19Sep 26, 2021Updated 4 years ago
- Go-based LLM proxy for cost tracking and rate limiting☆20Oct 9, 2025Updated 5 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 4 years ago
- Basic log analysis tool to detect impossible travel via IP address geographic information☆20Apr 29, 2019Updated 6 years ago
- Dakrone's custom light Emacs theme☆13Aug 8, 2017Updated 8 years ago
- Contains support for Notary Project signature envelope, and format specific implementation☆15Updated this week
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆443Feb 25, 2026Updated 3 weeks ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆21Mar 8, 2025Updated last year
- run AFL with pintool☆67Feb 24, 2020Updated 6 years ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆27Aug 14, 2020Updated 5 years ago
- A faster,smaller,Address Sanitizer,200X Faster,95% Smaller.☆18Jan 4, 2022Updated 4 years ago
- ☆30Jan 7, 2021Updated 5 years ago
- ☆21Mar 13, 2026Updated last week
- Fuzz Introspector -- introspect, extend and optimise fuzzers☆451Updated this week
- The ISLa (Input Specification Language) language & solver.☆72Jul 1, 2024Updated last year
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆17Nov 15, 2012Updated 13 years ago
- Convert low ghidra pcode to verifiable C☆24Sep 13, 2024Updated last year
- Superion Mutator for AFLPlusPlus☆31Dec 5, 2023Updated 2 years ago
- ☆26Oct 3, 2023Updated 2 years ago
- ⚔️ The extension for render image in go-echarts.☆25Nov 8, 2025Updated 4 months ago
- The bootstrapping PEG parser☆10Feb 18, 2024Updated 2 years ago
- COVA - A static analysis tool to compute path conditions☆40Mar 2, 2026Updated 2 weeks ago
- Simple NixOS-like Docker containers with declarative config☆23Aug 17, 2022Updated 3 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- Cross compile minimal NixOS to aarch64☆21Aug 6, 2018Updated 7 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- Plugin files for editing K files☆12Aug 20, 2024Updated last year