Static code analysis test source code
☆36Aug 30, 2023Updated 2 years ago
Alternatives and similar repositories for vulntest
Users that are interested in vulntest are comparing it to the libraries listed below
Sorting:
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- A Coverage-Based fuzzing tools☆23Aug 9, 2021Updated 4 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- FTP client for humans.☆10Oct 11, 2015Updated 10 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Feb 3, 2026Updated last month
- poststructural fuzzing☆31Jan 29, 2020Updated 6 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 2 years ago
- ☆12Sep 8, 2020Updated 5 years ago
- A repository teaching bss/data segment exploitation techniques.☆13Aug 11, 2019Updated 6 years ago
- Telegram bot which scrapes posts from Facebook Pages to a Telegram channel.☆17Apr 10, 2021Updated 4 years ago
- ☆13Oct 1, 2020Updated 5 years ago
- Dockerfile for peach pro with everything set up as needed☆26Jun 29, 2024Updated last year
- Get actually nice HTML coverage overview on libfuzzer runs☆31Apr 21, 2023Updated 2 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆35Apr 26, 2022Updated 3 years ago
- ASLR Evasion, Egghunters, SEH Overwrites☆29Mar 6, 2021Updated 4 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 6 years ago
- Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs☆14Jan 20, 2026Updated last month
- This is a lazy enumeration script made to make bug bounty enum & pentest flyovers easy as cake!☆13Jun 13, 2020Updated 5 years ago
- FuzzBuilderEx is a system to build seed corpus and fuzzing executables using the test framework automatically.☆14Sep 6, 2022Updated 3 years ago
- Dockerfiles for (un)popular fuzzers!☆30Apr 15, 2020Updated 5 years ago
- A framework provides an interface to monitor and control fuzzers☆30Jul 5, 2023Updated 2 years ago
- AyedFuzzer is a small File-Format-Fuzzer with 3 options (File-mutating, WinDbg-interactive monitor, multi-processing) for windows executa…☆17Dec 2, 2024Updated last year
- TSAR (Traits Static AnalyzeR)☆15May 3, 2024Updated last year
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43May 7, 2023Updated 2 years ago
- Cupid: Automatic Fuzzer Selection for Collaborative Fuzzing☆33Mar 25, 2021Updated 4 years ago
- ☆15Sep 14, 2022Updated 3 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated last year
- Learn how to pwn badly written programs☆15Sep 18, 2018Updated 7 years ago
- Performing Buffer Overflow attack using stack smashing approach to obtain the shell. Given a C compiled vulnerable software, with the hel…☆17Oct 12, 2021Updated 4 years ago
- ☆14Jun 21, 2020Updated 5 years ago
- GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)☆17Jul 19, 2023Updated 2 years ago
- An IDA processor for eBPF bytecode☆69Nov 7, 2024Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 4 years ago
- Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source☆16May 14, 2024Updated last year
- fuzz the linux kernel bpf verifier☆83Oct 9, 2021Updated 4 years ago
- Reference material for fuzzing and creating fuzzers☆19Apr 6, 2019Updated 6 years ago