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:
- covFuzz☆34Jun 8, 2017Updated 9 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Mar 30, 2016Updated 10 years ago
- web interface for Reverse Engineering and decompilation☆17May 24, 2022Updated 4 years ago
- pre-release.☆12Jul 15, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mozilla fork of the American Fuzzy Lop repo☆47Apr 5, 2019Updated 7 years ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- Program Analysis for LLVM☆38Mar 25, 2017Updated 9 years ago
- lldb-nosuck☆19Sep 16, 2013Updated 12 years ago
- a grammar-based data generator☆61Jan 10, 2019Updated 7 years ago
- ☆10Mar 29, 2019Updated 7 years ago
- ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.☆69Oct 3, 2013Updated 12 years ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 3 years ago
- Fuzzing framework written in OCaml☆33Aug 23, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Patch kextd using radare2☆16Apr 10, 2015Updated 11 years ago
- A tool for testing C compilers automatically☆23Jan 24, 2016Updated 10 years ago
- ☆65Oct 24, 2015Updated 10 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 11 years ago
- C++ on the Web: ponies for developers without pwn’ing users☆11Jun 18, 2015Updated 11 years ago
- AFL, modified to support multi-CB challenge sets for CGC.☆19Aug 20, 2016Updated 10 years ago
- A program for automatically resolving #ifdef statements in C code.☆39Nov 7, 2024Updated last year
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 3 years ago
- TRiad Is A Decompiler. Triad is a tiny, free and open source, Capstone based x86 decompiler for ELF binaries.☆103Oct 22, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code to fuzz bignum libraries☆46Nov 11, 2018Updated 7 years ago
- manipulate LLVM IR files☆33Jul 15, 2015Updated 11 years ago
- ☆27Jan 27, 2017Updated 9 years ago
- ☆25Aug 10, 2018Updated 8 years ago
- ☆14Dec 9, 2015Updated 10 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Oct 23, 2017Updated 8 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.☆29Sep 24, 2015Updated 10 years ago
- CCG is a random C Code Generator☆44Sep 11, 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.
- Dynamic binary translation framework for instrumenting x86-64 user space Linux programs☆38May 29, 2018Updated 8 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆51Jan 21, 2017Updated 9 years ago
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆23Jun 16, 2015Updated 11 years ago
- 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 dynamic analysis framework for C and C++ programs☆30Updated this week
- ☆11Jun 10, 2015Updated 11 years ago