Hacker GitHub

← All repos

checkedc/checkedc-clang

View on GitHub ↗ ★ 516 C++

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.

5 mentions on Hacker News by 5 people: 0 stories, 5 comments · first 2016-06-14 · latest 2022-02-13

Mentions per year 5 mentions · busiest year 2016 (1)
20082026
AllStoriesComments NewestTopOldest
  1. Is it related to https://github.com/microsoft/checkedc-clang ? Another interesting link is https://support.apple.com/guide/security/memory-safe-iboot-i... : Apple modified C compiler to improve iBoot security. I never found this particular…
    comment by vbezhenar · 2022-02-13 · in A Formal Model of Checked C
  2. Collab between Samsung + Microsoft + UofW + U of Maryland that is also trying CheckedC. https://github.com/Microsoft/checkedc-clang https://github.com/Microsoft/checkedc
    comment by anonsivalley652 · 2020-02-21 · in Riot OS – Real-Time, MMU optional and threads
  3. …com/papers/languages/safearraysforc43.pdf [2] http://www.cs.umd.edu/~mwh/papers/checkedc-incr.pdf [3] https://github.com/Microsoft/checkedc-clang
    comment by Animats · 2019-03-18 · in Achieving Safety Incrementally with Checked C
  4. Anyone know what stage the implementation ( https://github.com/Microsoft/checkedc-clang ) is at, is it ready for use?
    comment by fulafel · 2018-03-15 · in Checked C: extension to C that adds static and dynamic checking
  5. https://github.com/Microsoft/checkedc-clang https://github.com/Microsoft/checkedc-llvm Doesn't that look like an open source implementation? Or did I misunderstand something? However: > The compiler is not far enough along for programmers…
    comment by vardump · 2016-06-14 · in Checked C