Repositories list

• checkedc

  Public
  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 people easily make their existing C code type-safe and eliminate entire classes of errors.

  cprogramming-languagellvm+ 4clangmemory-safetytype-safetysystem-programming

  C

  •

  Other

  •185•3.2k•72•0•Updated Oct 7, 2024Oct 7, 2024

• checkedc-clang

  Public
  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.

  cllvmclang+ 4programming-languagesmemory-safetytype-safetysystem-programming

  C++

  •77•504•161•1•Updated Oct 5, 2024Oct 5, 2024

• checkedc-fork

  Public archive
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.

  csecurityreliability+ 2systems-programmingc-programming-language

  C

  •

  Other

  •3•26•68•0•Updated Sep 30, 2024Sep 30, 2024

• checkedc-llvm-project

  Public
  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 at https://github.com/checkedc/checkedc-clang.

  csecurityllvm+ 2clangcompilers

  C++

  •19•14•167•2•Updated Sep 30, 2024Sep 30, 2024

• workflows

  Public
  Checked C workflows for GitHub Actions

  Shell

  •0•0•1•0•Updated Sep 24, 2024Sep 24, 2024

• checkedc-libc-test

  Public
  This repo contains a version of libc-test that is modified to test a Checked C version of the musl C library. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.

  C

  •

  Other

  •0•0•0•0•Updated Aug 22, 2024Aug 22, 2024

• checkedc-musl

  Public
  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 prevent common programming errors such as out-of-bounds memory accesses.

  C

  •

  Other

  •0•0•0•0•Updated Aug 22, 2024Aug 22, 2024

• checkedc-parson

  Public
  This is modified version of parson that uses the Checked C extension to C. Parson is a lightweight json parsing library.

  C

  •

  Other

  •0•0•0•0•Updated Aug 22, 2024Aug 22, 2024

• .github

  Public
  0•0•0•0•Updated Nov 26, 2023Nov 26, 2023

• checkedc-llvm-test-suite

  Public
  C

  •

  Other

  •0•0•1•0•Updated Jul 29, 2023Jul 29, 2023

• checkedc-vsftpd

  Public
  C

  •

  Other

  •2•0•0•0•Updated Jan 10, 2022Jan 10, 2022

• checkedc-tiny-bignum-c

  Public
  Small portable multiple-precision unsigned integer arithmetic in C

  C

  •

  The Unlicense

  •86•3•1•0•Updated Jan 9, 2022Jan 9, 2022

• checkedc-thttpd

  Public
  C

  •1•0•0•0•Updated Dec 9, 2021Dec 9, 2021

• checkedc-icecast

  Public
  C

  •

  GNU General Public License v2.0

  •1•0•0•0•Updated Dec 9, 2021Dec 9, 2021

• checkedc-libjpeg-tutorial

  Public
  C

  •

  Other

  •1•0•0•0•Updated Oct 4, 2021Oct 4, 2021