Stars
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
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"
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.
Secure and fast microVMs for serverless computing.
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
Rust-for-Linux / linux
Forked from torvalds/linuxAdding 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
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
heroims / obfuscator
Forked from obfuscator-llvm/obfuscatorollvm，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