Security Harness Engineering for Robust Program Analysis
☆112Jan 23, 2026Updated last month
Alternatives and similar repositories for sherpa
Users that are interested in sherpa are comparing it to the libraries listed below
Sorting:
- Public Source code Release of Theori's AIxCC AFC Submission☆237Aug 5, 2025Updated 7 months ago
- LLM-powered system that discovered 62 zero-day vulnerabilities across 26 open source projects. 4th place, DARPA AIxCC.☆89Feb 23, 2026Updated last week
- ☆131Aug 27, 2025Updated 6 months ago
- PromeFuzz: A Knowledge-Driven Approach to Fuzzing Harness Generation with Large Language Models☆49Jan 12, 2026Updated last month
- ☆25Aug 6, 2025Updated 7 months ago
- ☆570Nov 25, 2025Updated 3 months ago
- KFLAT is a tool to serialize memory of selected variables from the running Linux kernel and organize it into a single memory block of con…☆30Jan 20, 2026Updated last month
- ☆12Sep 29, 2025Updated 5 months ago
- Fuzz Introspector -- introspect, extend and optimise fuzzers☆447Updated this week
- Common Corpus is used to build coverage-minimized corpus data sets for fuzzing.☆29Aug 16, 2023Updated 2 years ago
- Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs☆14Updated this week
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆34Feb 4, 2025Updated last year
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆46Updated this week
- ☆21Sep 10, 2024Updated last year
- Produce code coverage reports for AFL++ fuzzing campaigns with source code or in binary-only mode☆31Jul 18, 2025Updated 7 months ago
- A prototype GreyNoise integration for FluentBit with Lua scripts.☆11Feb 11, 2025Updated last year
- Kernel isolation tester.☆18Oct 20, 2022Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.☆23Dec 25, 2025Updated 2 months ago
- ☆16Apr 7, 2023Updated 2 years ago
- To solve some readflag situation in ctfs☆33Jan 12, 2021Updated 5 years ago
- Headless IDA Pro MCP Server☆167Updated this week
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Aug 17, 2023Updated 2 years ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆43Dec 17, 2023Updated 2 years ago
- ☆45Apr 12, 2022Updated 3 years ago
- LLFuzz: An Over-the-Air Dynamic Testing Framework for Cellular Baseband Lower Layers☆55Aug 12, 2025Updated 6 months ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆20Sep 7, 2023Updated 2 years ago
- A tool to facilitate ROP Chain Development for XML Character Sanitization☆20May 9, 2019Updated 6 years ago
- ☆27Feb 9, 2023Updated 3 years ago
- ☆19Oct 11, 2022Updated 3 years ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- Proof of concept agentic solver for nfuncs from DEF CON Quals 2025☆23Apr 18, 2025Updated 10 months ago
- ☆92Oct 23, 2025Updated 4 months ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆22Jan 15, 2026Updated last month
- SAST + LLM Interprocedural Context Extractor☆188Oct 28, 2025Updated 4 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 10 months ago
- Simple rust fuzzer☆23Mar 17, 2021Updated 4 years ago
- ☆21Dec 1, 2021Updated 4 years ago
- Automatically fuzz Rust projects from scratch☆59Jul 8, 2025Updated 7 months ago