poc for CVE-2025-24252 & CVE-2025-24132

A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code

CLI and Rust libraries for low-level manipulation of WebAssembly modules

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

WASI-enabled WebAssembly C/C++ toolchain

A hybrid programming language written in Rust.

Linux PAM (Pluggable Authentication Modules for Linux) project

A Framework for fuzzing USB Drivers by Device Emulation

Repository for the book "Crafting Interpreters"

SeaHorn Verification Framework

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

eBPF verifier based on abstract interpretation

Secure and fast microVMs for serverless computing.

The systemd System and Service Manager

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

Exploitation techniques to bypass Clang CFI when applied to Chromium

Adding support for the Rust language to the Linux kernel.

Framework for writing Linux kernel modules in safe Rust

Cross-platform Rust rewrite of the GNU coreutils

Migrate C code to Rust

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

SymCC: efficient compiler-based symbolic execution

SymQEMU: Compilation-based symbolic execution for binaries

ollvm，base on llvm-clang 5.0.2, 6.0.1 , 7.0.1,8.0,9.0,9.0.1,10.x,11.x,12.x,13.x,14.x,swift-llvm-clang 5.0,swift-llvm-clang 5.5

A static analyzer for Java, C, C++, and Objective-C

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

prototype of stream based programming language