elastic / elasticsearch-formal-models

Analysis scope, overview of main, test, generated, deployment, build, and other code.

Source Code Analysis Scope

Files includes and excluded from analyses

thy

tla

launch

project

prefs

txt

tex

9 extensions are included in analyses: thy, tla, launch, project, prefs, txt, gitignore, tex, md
3 criteria are used to exclude files from analysis:

exclude files with path like ".*/[.][a-zA-Z0-9_]+.*" (Hidden files and folders) (9 files).
exclude files with path like ".*/git[-]history[.]txt" (Git history) (1 file).
exclude files with path like ".*/git[-][a-zA-Z0-9_]+[.]txt" (Git data exports for sokrates analyses) (0 files).

The source code folder contains 29 files:

17 files are included in analyses.
12 files are excluded from analyses:

Explore all files....

Overview of Analyzed Files

Basic stats on analyzed files

Intro

For analysis purposes we separate files in scope into several categories: main, test, generated, deployment and build, and other.

The main category contains all manually created source code files that are being used in the production.
Files in the main category are used as input for other analyses: logical decomposition, concerns, duplication, file size, unit size, and conditional complexity.
Test source code files are used only for testing of the product. These files are normally not deployed to production.
Build and deployment source code files are used to configure or support build and deployment process.
Generated source code files are automatically generated files that have not been manually changed after generation.
While a source code folder may contain a number of files, we are primarily interested in the source code files that are being written and maintained by developers.
Files containing binaries, documentation, or third-party libraries, for instance, are excluded from analysis. The exception are third-party libraries that have been changed by developers.

16 files

1 file

Main Code

All manually created or maintained source code that defines logic of the product that is run in a production environment.

thy

tla

launch

tex

Explore: circles | sunburst

The following criteria are used to filter files:

files with paths like ".*".

16 files match defined criteria (6,808 LOC, 100.0% vs. main code):

5 *.thy files (4,083 LOC)
5 *.tla files (2,381 LOC)
5 *.launch files (299 LOC)
1 *.tex files (45 LOC)

" *.thy" is biggest, containing 59.97% of LOC.
" *.tex" is smallest, containing 0.66% of LOC.

Other Code

Explore: circles | sunburst

The following criteria are used to filter files:

files with paths like ".*/[.]gitignore".
files with paths like ".*[.]txt".
files with paths like ".*[.]md".
files with paths like ".*/README[.][a-z0-9]+".

1 file matches defined criteria (36 LOC, 0.5% vs. main code). All matches are in *.md files.

Analyzers

Info about analyzers used for source code examinations.

*.thy files are analyzed with DefaultLanguageAnalyzer:

All basic standard analyses supported (source code overview, duplication, file size, concerns, findings, metrics, controls)

Basic code cleaning (empty lines removed for LOC calculations and duplication calculations)

No unit size analysis

No conditional complexity analysis

No dependency analysis

*.tla files are analyzed with DefaultLanguageAnalyzer:

All basic standard analyses supported (source code overview, duplication, file size, concerns, findings, metrics, controls)

Basic code cleaning (empty lines removed for LOC calculations and duplication calculations)

No unit size analysis

No conditional complexity analysis

No dependency analysis

*.launch files are analyzed with XmlAnalyzer:

All basic standard analyses supported (source code overview, duplication, file size, concerns, findings, metrics, controls)

Advanced code cleaning (empty lines and comments removed for LOC calculations, additional cleaning for duplication calculations)

No unit size analysis

No conditional complexity analysis

No dependency analysis

*.tex files are analyzed with DefaultLanguageAnalyzer:

All basic standard analyses supported (source code overview, duplication, file size, concerns, findings, metrics, controls)

Basic code cleaning (empty lines removed for LOC calculations and duplication calculations)

No unit size analysis

No conditional complexity analysis

No dependency analysis

2025-05-13 19:41