microsoft / verisol
Features of Interest
Aspects in the source code identified through RegEx patterns.
Intro
Features of interest are any aspects of a software system that can be identified through patterns in code.
Features of interest provide you with a way to focus your attention on relevant parts of the codebase.
Typical examples include, security, TODOs, logging.
A feature of interest may be present in multiple files. Any source code file may be in zero or multiple features of interest.
Overview
GENERAL
TODOs
7,258 LOC (58%)
10 files
|
found text
|
found text per file
1 GENERAL Concerns
The "general" group contains
2
concerns.
TODOs
Unclassified
general
1.1 TODOs
7,258 LOC (58%)
10 files
|
found text
|
found text per file
The following criteria are used to filter files:
files with any line of content like "
.*(TODO|FIXME)( |:| ).*
".
10
files match defined criteria (
7,258
lines of code,
58.9%
vs. main code). All matches are in *.cs files.
39
lines match the content pattern.
details...
per component - primary logical decomposition
Sources/SolToBoogie
in 7 files, 5,155 LOC (69%)
Sources/SolidityAST
in 1 file 1,474 LOC (71%)
Sources/VeriSol
in 1 file 383 LOC (79%)
Sources/SolToBoogieTest
in 1 file 246 LOC (75%)