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.
☆516Nov 16, 2025Updated 6 months ago
Alternatives and similar repositories for checkedc-clang
Users that are interested in checkedc-clang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…☆97Jun 12, 2023Updated 2 years ago
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,261Oct 7, 2024Updated last year
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆15Sep 30, 2024Updated last year
- This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, whi…☆15Jul 16, 2022Updated 3 years ago
- This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or …☆27Jun 12, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆27Sep 30, 2024Updated last year
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 5 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆32Jul 18, 2014Updated 11 years ago
- Csmith, a random generator of C programs☆1,190Mar 2, 2026Updated 2 months ago
- A superoptimizer for LLVM IR☆2,366Aug 28, 2024Updated last year
- C-Reduce, a C and C++ program reducer☆1,659Jun 1, 2024Updated last year
- A tool for analyzing x86-64 binaries.☆338Oct 18, 2024Updated last year
- This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…☆14Sep 1, 2022Updated 3 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- KLEE Symbolic Execution Engine☆2,936May 11, 2026Updated last week
- Semantics of C in K☆324Feb 1, 2022Updated 4 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- [MERGED UPSTREAM] Clang frontend supporting AVR☆10Nov 16, 2016Updated 9 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆32Jun 13, 2024Updated last year
- A LLVM-based static analysis framework.☆1,040Updated this week
- llvm-mctoll☆871Jun 22, 2024Updated last year
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆668Apr 15, 2026Updated last month
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆518May 4, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆323Dec 1, 2021Updated 4 years ago
- CakeML: A Verified Implementation of ML☆1,154Updated this week
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆51Jan 21, 2017Updated 9 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆127Jun 18, 2020Updated 5 years ago
- mimalloc is a compact general purpose allocator with excellent performance.☆12,894May 8, 2026Updated last week
- C++ standard proposals☆16Mar 24, 2026Updated last month
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Oct 15, 2020Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆69Mar 1, 2025Updated last year
- 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.
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆32Apr 9, 2026Updated last month
- SymCC: efficient compiler-based symbolic execution☆865Mar 16, 2026Updated 2 months ago
- Intermediate Representation for Binary analysis and transformation☆358Apr 28, 2026Updated 3 weeks ago
- The CompCert formally-verified C compiler☆2,168May 7, 2026Updated last week
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Jun 25, 2020Updated 5 years ago
- C compiler (mirror)☆828May 14, 2026Updated last week
- Higher level programming in C☆7,121Dec 1, 2024Updated last year