microsoft / checkedc

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.

Summary
TEX
BIB
STY
TXT
email_034-attachment-send-file-code-cssCreated with Sketch.
Main Code: 18,697 LOC (78 files) = TEX (67%) + BIB (23%) + H (6%) + STY (2%) + R (<1%) + TXT (<1%)
Secondary code: Test: 16,371 LOC (104); Generated: 0 LOC (0); Build & Deploy: 0 LOC (0); Other: 592 LOC (27);
Artboard 48 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)
files_time

6 years old

  • 98% of code older than 365 days
  • 49% of code not updated in the past 365 days

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)
Straight_Line
Features of interest:
TODOs
5 files
Commits Trend

Latest commit date: 2021-09-29

0
commits
(30 days)
0
contributors
(30 days)
Commits

25

28

41

74

101

157

Contributors

8

10

12

8

5

4

2021 2020 2019 2018 2017 2016
show commits trend per language
Reports
Analysis Report
Trend
Analysis Report
76_startup_sticky_notes
Notes & Findings
Links

generated by sokrates.dev (configuration) on 2022-01-30