awslabs / rust-smt-ir
Source Code Overview

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

Source Code Analysis Scope
Files includes and excluded from analyses
smt2
ini
txt
  • 13 extensions are included in analyses: smt2, rs, md, ipynb, py, sh, toml, ini, gitignore, json, html, txt, yml
  • 5 criteria are used to exclude files from analysis:
    • exclude files with path like ".*/[.][a-zA-Z0-9_]+.*" (Hidden files and folders) (5 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).
    • exclude files with path like ".*[.]txt" (Text files) (2 files).
    • exclude files with path like ".*/sokrates_conventions[.]json" (Sokrates scoping conventions) (1 file).
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.

main11990 LOC (77%) 69 files
test238 LOC (1%) 5 files
generated0 LOC (0%) 0 files
build and deployment22 LOC (<1%) 7 files
other3319 LOC (21%) 28 files
Main Code
All manually created or maintained source code that defines logic of the product that is run in a production environment.
Explore:   circles  |  sunburst
  • The following criteria are used to filter files:
    • files with paths like ".*".
  • 69 files match defined criteria (11,990 lines of code, 100.0% vs. main code):
    • 52 *.rs files (10,987 lines of code)
    • 10 *.py files (838 lines of code)
    • 7 *.toml files (165 lines of code)
  • " *.rs" is biggest, containing 91.63% of code.
  • " *.toml" is smallest, containing 1.38% of code.


*.rs10987 LOC (91%) 52 files
*.py838 LOC (6%) 10 files
*.toml165 LOC (1%) 7 files
Test Code
Used only for testing of the product. Normally not deployed in a production environment.
Explore:   circles  |  sunburst
  • The following criteria are used to filter files:
    • files with paths like ".*/[Tt]ests/.*".
    • files with paths like ".*/test_.*".
    • files with any line of content like ".*/simpletest/.*".
  • 5 files match defined criteria (238 lines of code, 2.0% vs. main code):
    • 4 *.rs files (216 lines of code)
    • 1 *.sh files (22 lines of code)
  • " *.rs" is biggest, containing 90.76% of code.
  • " *.sh" is smallest, containing 9.24% of code.


*.rs216 LOC (90%) 4 files
*.sh22 LOC (9%) 1 files
Build and Deployment Code
Source code used to configure or support build and deployment process.
Explore:   circles  |  sunburst
  • The following criteria are used to filter files:
    • files with paths like ".*[.]git[a-z]+".
    • files with paths like ".*/[.]gitignore".
    • files with paths like ".*[.]sh".
  • 7 files match defined criteria (22 lines of code, 0.2% vs. main code). All matches are in *.sh files.


*.sh22 LOC (100%) 7 files
Other Code
smt2
ini
Explore:   circles  |  sunburst
  • The following criteria are used to filter files:
    • files with paths like ".*[.]md".
    • files with paths like ".*/README[.][a-z0-9]+".
    • files with paths like ".*[.]txt".
    • files with paths like ".*/[.]gitignore".
    • files with paths like ".*[.]json".
    • files with paths like ".*/[Ee]xamples/.*".
    • files with paths like ".*[.]ini".
    • files with paths like ".*[.](xml|xsd|robot|sql|pgsql|dashboard|profile|ipynb|raml|avsc|al)".
  • 28 files match defined criteria (3,319 lines of code, 27.7% vs. main code):
    • 5 *.ipynb files (2,427 lines of code)
    • 15 *.md files (479 lines of code)
    • 3 *.json files (318 lines of code)
    • 1 *.smt2 files (58 lines of code)
    • 4 *.ini files (37 lines of code)
  • " *.ipynb" is biggest, containing 73.12% of code.
  • " *.ini" is smallest, containing 1.11% of code.


*.ipynb2427 LOC (73%) 5 files
*.md479 LOC (14%) 15 files
*.json318 LOC (9%) 3 files
*.smt258 LOC (1%) 1 files
*.ini37 LOC (1%) 4 files
Analyzers
Info about analyzers used for source code examinations.
  • *.rs files are analyzed with RustAnalyzer:
    • 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)
    • Unit size analysis
    • Conditional complexity analysis
    • No dependency analysis
  • *.py files are analyzed with PythonAnalyzer:
    • 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)
    • Unit size analysis
    • Conditional complexity analysis
    • Basic heuristic dependency analysis
  • *.toml 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


2022-01-31 22:40