microsoft / verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Summary
  |
|||
| Main Code: 12,317 LOC (55 files) = CS (99%) + YML (<1%) + PROPS (<1%) Secondary code: Test: 88 LOC (2); Generated: 0 LOC (0); Build & Deploy: 133 LOC (7); Other: 4,236 LOC (217); |
|||
| Duplication: 7% | |||
| File Size: 46% long (>1000 LOC), 24% short (<= 200 LOC) | |||
| Unit Size: 9% long (>100 LOC), 44% short (<= 10 LOC) | |||
| Conditional Complexity: 6% complex (McCabe index > 50), 60% simple (McCabe index <= 5) | |||
|
|
Logical Component Decomposition: primary (9 components) | ||
|
|
3 years old
|
||
|
|
31% 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
10 files |
|||
Latest commit date: 2020-05-27
|
0
commits
(30 days)
0
contributors
(30 days) |
|