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.
☆515Nov 16, 2025Updated 3 months ago
Alternatives and similar repositories for checkedc-clang
Users that are interested in checkedc-clang are comparing it to the libraries listed below
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…☆98Jun 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,262Oct 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 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 4 years ago
- Csmith, a random generator of C programs☆1,159Jan 26, 2024Updated 2 years ago
- C-Reduce, a C and C++ program reducer☆1,641Jun 1, 2024Updated last year
- A superoptimizer for LLVM IR☆2,350Aug 28, 2024Updated last year
- Semantics of C in K☆322Feb 1, 2022Updated 4 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- KLEE Symbolic Execution Engine☆2,902Feb 21, 2026Updated last week
- Tools for testing C compilers for the correct handling of volatile objects.☆30Jul 18, 2014Updated 11 years ago
- A tool for analyzing x86-64 binaries.☆337Oct 18, 2024Updated last year
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆665Jan 28, 2026Updated last month
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆19Apr 1, 2025Updated 11 months ago
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆503Feb 21, 2026Updated last week
- A LLVM-based static analysis framework.☆1,034Feb 17, 2026Updated last week
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆434Feb 13, 2026Updated 2 weeks ago
- mimalloc is a compact general purpose allocator with excellent performance.☆12,509Feb 6, 2026Updated 3 weeks ago
- A compact C preprocessor and declaration parser written in pure Lua☆214Jun 6, 2022Updated 3 years ago
- CakeML: A Verified Implementation of ML☆1,114Updated this week
- Python bindings for LLVM auto-generated from the LLVM-C API☆229Apr 8, 2025Updated 10 months ago
- Formally verified operator language and rewriting engine for high-performance computing☆30Jun 13, 2024Updated last year
- The CompCert formally-verified C compiler☆2,115Feb 13, 2026Updated 2 weeks ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- ROSE is an open-source compiler framework engineered by LLNL supporting program analysis and transformation at both the source and binary…☆667Feb 20, 2026Updated last week
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆321Dec 1, 2021Updated 4 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- Intermediate Representation for Binary analysis and transformation☆349Jan 14, 2026Updated last month
- EsoLangVM Compiler Infrastructure☆1,236Nov 22, 2025Updated 3 months ago
- zapcc is a caching C++ compiler based on clang, designed to perform faster compilations☆1,271Jul 21, 2020Updated 5 years ago
- A compiler frontend for the C programming language☆564Nov 9, 2025Updated 3 months ago
- RLU resizable hash-table☆17Aug 24, 2015Updated 10 years ago
- Dafny is a verification-aware programming language☆3,301Feb 18, 2026Updated last week
- llvm-mctoll☆869Jun 22, 2024Updated last year
- A powerful static binary rewriting tool☆1,089Feb 15, 2026Updated 2 weeks ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆103Jul 15, 2025Updated 7 months ago
- Yet Another Random Program Generator☆543Nov 24, 2025Updated 3 months ago