michaelbrownuc / llapLinks
LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use in AI/ML modeling. Originally used to create a SAST tool called Vulchecker and a lifting tool called CORBIN, but can be adapted to a wide variety of purposes. This public version contains examples from Vulcheck…
☆14Updated 2 years ago
Alternatives and similar repositories for llap
Users that are interested in llap are comparing it to the libraries listed below
Sorting:
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- ☆24Updated 2 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- experiments for IJON☆12Updated 6 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- Evolving fuzzers with large language models☆17Updated last year
- A coverage-based software testing tool☆34Updated 4 years ago
- ☆12Updated 4 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆17Updated 3 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 4 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- ☆12Updated 3 years ago
- ☆14Updated 5 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Updated 5 years ago
- ☆19Updated 2 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- ☆38Updated 2 years ago
- Code Coverage client for DynamoRIO☆12Updated 6 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago
- Practical Data-Only Attack Generation☆40Updated last year
- ☆21Updated 3 years ago
- ☆10Updated 5 years ago
- ☆26Updated last year
- A Semantics-Enhanced Learnable Vulnerability Detector☆43Updated 3 years ago
- ☆13Updated 4 years ago
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes☆22Updated 2 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Updated 2 years ago
- ☆27Updated 2 years ago