upb-any-recursion-audit
vardhan0257/upb-any-recursion-auditAudit harness testing whether the CVE-2026-0994 Any-unwrapping recursion bug class affects upb's C core in Ruby and PHP protobuf bindings, with…
binary-analysiseducationfuzzing+4
vardhan0257/upb-any-recursion-auditAudit harness testing whether the CVE-2026-0994 Any-unwrapping recursion bug class affects upb's C core in Ruby and PHP protobuf bindings, with…
runtimeverification/kernel-c-to-rust-spikeHardening kernel C parsers via Rust rewrite + differential fuzzing + formal verification. First target: UVC (CVE-2024-53104).
robertcprice/ncpuResearch runtime for differentiable neural computers, GPU-based CPU emulation, and program synthesis. Features neural ALU, constant-time crypto, JEPA…
smackers/smackModular software verification toolchain that translates LLVM IR into Boogie intermediate verification language for bounded and experimental unbounded…
boratanrikulu/gobeeWrite your BPF programs in Go, not C. gobee transpiles a Go subset to BPF C and generates typed cilium/ebpf bindings.
oblivionsage/elfpeekMinimal ELF inspector written in C for quick binary layout inspection
clearbluejar/ghidrecompPython Command-Line Ghidra Decompiler
saurabh2088/expat_2_1_0_cve-2024-28757C library for stream-oriented XML parsing, with a focus on analyzing and reproducing CVE-2024-28757 vulnerability in Expat 2.1.0.
joxeankoret/cosa-nostraCosa Nostra, a FOSS graph based malware clusterization toolkit.
mandiant/route-sixty-sinkLink sources to sinks in C# applications.
timon-l/3007projectSecure coding project, research on CVE-2019-17498 and implement a player score function written in C.
galoisinc/mateInteractive program analysis suite using Code Property Graphs to hunt for bugs in C and C++ code, unifying application-specific and low-level…
shaikusaf/external_expact_aosp10_r33_cve-2022-25313C library for stream-oriented XML parsing, providing handlers for parsing structures in documents. Includes xmlwf tool and supports UTF-16 encoding.
trinadh465/external_libexif_aosp10_r33_cve-2020-0198C library for parsing, editing, and saving EXIF metadata, with a focus on addressing CVE-2020-0198 in AOSP10.
trinadh465/external_libexif_aosp10_r33_cve-2020-0181C library for parsing, editing, and saving EXIF data, patched for CVE-2020-0181 to prevent heap buffer overflow in EXIF tag parsing.
shaikusaf/external_libexif_aosp10_cve-2020-0452C library for parsing, editing, and saving EXIF data, with a focus on addressing CVE-2020-0452 in AOSP10. Provides API for metadata extraction and…
logsec/cve-2010-2387Proof-of-concept exploit for CVE-2010-2387, a privilege escalation vulnerability in GNOME Display Manager (GDM). Includes C source code targeting the…
pazhanivel07/openjpeg-2.3.0_cve-2020-27824CVE-2020-27824 exploit reproduction environment for OpenJPEG JPEG 2000 codec, enabling vulnerability analysis, fuzzing, and binary exploitation…