ubsan

Information-dense, coverage-guided binary fuzzer

Tiny libubsan implementation for freestanding targets

gcc build for Windows with sanitizer support.

Agentic C/C++ vulnerability scanner powered by Claude. Autonomously reviews code, analyzes git history, and fuzzes with AFL++/libFuzzer — all inside a network-isolated Docker sandbox.

A template C project to get you started with C and tooling on MacOS

C++ Sanitizers and Static Analysis Examples

Checks for C++ code.

Fedora LLVM Clang ASAN UBSAN to build & check R package before CRAN submission

Free/Open-Source C++ Quality Tools Benchmark

SV-COMP wrapper for sanitizers

A modern C23 project skeleton for Linux and macOS. CMake and Ninja drive the build, and a thin Makefile provides the daily verbs. Warnings as errors, clang-tidy, scan-build, cppcheck, ASan/UBSan/TSan/LSan, Valgrind, coverage, and a Check suite with real tests in it. Nothing stubbed.

▎ Fleet-evaluation harness for security-agent benchmarks 𝗖𝘆𝗯𝗲𝗿𝗚𝘆𝗺-𝗘𝟮𝗘, 𝗘𝘅𝗽𝗹𝗼𝗶𝘁𝗚𝘆𝗺, 𝗘𝘅𝗽𝗹𝗼𝗶𝘁𝗕𝗲𝗻𝗰𝗵 𝗩𝟴, 𝗖𝗩𝗘-𝗯𝗲𝗻𝗰𝗵, run in real disposable sandboxes per trial — with Modal-based KVM-capable sandboxes planned for kernel-exploit tasks. Measures agent capability and infra reliability, with Langfuse monitoring.

libFuzzer + AFL++ + sanitizers integration demo

AFL++ fuzzing framework for the Poly/ML compiler on ARM64. Finds bugs using ASan/UBSan instrumentation on Linux ARM64

Implementation of STL like containers to practice CMake building system and CI/CD setup with GitHubactions

C++ runtime visualization platform that traces real program execution with GDB/DWARF to inspect stack frames, heap allocations, pointers, object lifetimes, and memory errors interactively.

Linux eBPF telemetry agent in C with CO-RE/libbpf, exec/open/connect tracing, PID/UID filtering, NDJSON output, runtime smoke testing, sanitizers and CodeQL.

C++20 vector search engine with exact and graph-based ANN search, L2/cosine metrics, validated persistence, concurrency, recall benchmarking, sanitizers and CodeQL.

Example code for exercizing gcc/clang sanitizers

A sample C23 project built on my c-project-skeleton. A small interactive calculator shows the skeleton in use: CMake and Ninja drive the build, a thin Makefile provides the daily verbs, warnings are errors, and the Check suite tests the same core library the app links.