Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.
Main Code: 18,697 LOC (78 files) = TEX (67%) + BIB (23%) + H (6%) + STY (2%) + R (<1%) + TXT (<1%) | |||
Duplication: 23% | |||
File Size: 57% long (>1000 LOC), 14% short (<= 200 LOC) | |||
Unit Size: 0% long (>100 LOC), 100% short (<= 10 LOC) | |||
Conditional Complexity: 0% complex (McCabe index > 50), 100% simple (McCabe index <= 5) | |||
|
Logical Component Decomposition: primary (10 components) | ||
|
6 years old
|
|
|
|
0% of code updated more than 50 times Also see temporal dependencies for files frequently changed in same commits. |
|
|
|
Goals: Keep the system simple and easy to change (4) |
|
|
Features of interest:
TODOs
5 files |
|
Latest commit date: 2021-09-29
0
commits
(30 days)
0
contributors
(30 days) |
|
generated by sokrates.dev (configuration) on 2022-01-30