LLVM-based, flexible, live coverage instrumentation for C/C++ code
☆45Jan 27, 2016Updated 10 years ago
Alternatives and similar repositories for LLCov
Users that are interested in LLCov are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- web interface for Reverse Engineering and decompilation☆17May 24, 2022Updated 4 years ago
- covFuzz☆34Jun 8, 2017Updated 9 years ago
- A dynamic analysis framework for C and C++ programs☆30Updated this week
- Mozilla fork of the American Fuzzy Lop repo☆47Apr 5, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- manipulate LLVM IR files☆33Jul 15, 2015Updated 11 years ago
- AFL, modified to support multi-CB challenge sets for CGC.☆19Aug 20, 2016Updated 10 years ago
- C++ on the Web: ponies for developers without pwn’ing users☆11Jun 18, 2015Updated 11 years ago
- ☆12Sep 21, 2016Updated 10 years ago
- git://git.savannah.gnu.org/patch.git☆14Sep 25, 2024Updated 2 years ago
- An implementation of classes in C using libffi & p99.☆27May 31, 2013Updated 13 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- Xcode plugin that reorganizes your Xcode project folder to match your Xcode groups, based on synx.☆15Sep 14, 2016Updated 10 years ago
- Long Short-term Memory, Recurrent Neural Network method was used to detect the DDoS attack☆11Aug 12, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Crash repro minifier for ASan-instrumented commandline tools.☆12Dec 29, 2019Updated 6 years ago
- Fixed kgmacros to work with VMware kernel gdb stub☆17Feb 21, 2014Updated 12 years ago
- a grammar-based data generator☆61Jan 10, 2019Updated 7 years ago
- A high-performance C library for deep packet inspection (DPI), designed to extract data attributes from network packets, server logs, and…☆14Oct 23, 2026Updated last week
- ☆14Updated this week
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆11Aug 3, 2017Updated 9 years ago
- PoCs discovered through fuzzing which resulted in a CVE assignment.☆18Feb 14, 2020Updated 6 years ago
- A variety of utilities for the C preprocessor.☆39Aug 4, 2013Updated 13 years ago
- a BOCU-1 encoder/decoder library in rust☆18Dec 28, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A DFA-based x86-32 validator for Native Client☆13Dec 30, 2015Updated 10 years ago
- ☆14Dec 14, 2021Updated 4 years ago
- lldb-nosuck☆19Sep 16, 2013Updated 13 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 8 years ago
- FrameShift prototype implementation in LibAFL☆16Nov 13, 2025Updated 11 months ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- pre-release.☆12Jul 15, 2015Updated 11 years ago
- Verification and simulation of an autonomous control system for unmanned aircraft☆13Jan 3, 2022Updated 4 years ago
- ☆56Oct 15, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Patches Assured up to Trace Equivalence☆17Apr 7, 2025Updated last year
- All the scaffolding code needed for the CS6381 Distributed Systems course at Vanderbilt University☆15Mar 31, 2023Updated 3 years ago
- Expandable auto complete for Codiad☆14Jul 22, 2018Updated 8 years ago
- Some tutorials for different approaches to verify neural networks.☆14Sep 23, 2022Updated 4 years ago
- ☆14Mar 25, 2023Updated 3 years ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated last year
- Static analysis for llvm☆20Mar 31, 2015Updated 11 years ago