awslabs / aws-viewer-for-cbmc
Scans the output of CBMC and produces a browsable summary of the results.
Summary
    |
|||
| Main Code: 4,701 LOC (43 files) = PY (90%) + HTML (5%) + CSS (1%) + JS (1%) + IN (<1%) Secondary code: Test: 0 LOC (0); Generated: 0 LOC (0); Build & Deploy: 0 LOC (0); Other: 635 LOC (16); |
|||
| Duplication: 6% | |||
| File Size: 0% long (>1000 LOC), 54% short (<= 200 LOC) | |||
| Unit Size: 0% long (>100 LOC), 77% short (<= 10 LOC) | |||
| Conditional Complexity: 0% complex (McCabe index > 50), 74% simple (McCabe index <= 5) | |||
|
|
Logical Component Decomposition: primary (4 components) | ||
|
|
1 year, 7 months 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
7 files |
|||
Latest commit date: 2022-01-11
|
1
commits
(30 days)
1
contributors
(30 days) |
|