microsoft / checkedc
Components & Dependencies

An overview of source code logical components.

Intro

Logical decomposition is a representation of the organization of the main source code, where every and each file is put in exactly one logical component.

  • A software system can have one or more logical decompositions.
  • A logical decomposition can be defined in two ways in Sokrates.
  • First approach is based on the folders structure. Components are mapped to folders at defined folder depth relative to the source code root.
  • Second approach is based on explicit definition of each component. In such explicit definitions, components are explicitly named and their files are selected based on explicitly defined path and content filters.
  • A logical decomposition is considered invalid if a file is selected into two or more components.This constraint is introduced in order to facilitate measuring of dependencies among components.
  • Files not assigned to any component are put into a special "Unclassified" component.
Learn more...
Logical Decompositions Overview

Analyzed system has 1 logical decomposition:

  • primary (10 components)

Logical Decomposition #1: PRIMARY

The decompositions is based on the folder structure (relative to the source code root), with automatically defined folder depth to have at least 10 components.

Bubble Chart | Tree Map
Components
The "primary" logical decomposition has 10 components.
  • 78 files, 18,697 lines of code (100.0% vs. main code).
  • "spec/bounds_safety" is biggest, containing 68.59% of code.
  • "ROOT" is smallest, containing 0.1% of code.


spec/bounds_safety12825 LOC (68%) 18 files
papers/dynamic_checks4344 LOC (23%) 16 files
include1016 LOC (5%) 29 files
papers/dynamic_checks/scripts163 LOC (<1%) 4 files
include/sys126 LOC (<1%) 2 files
papers/dynamic_checks/tables95 LOC (<1%) 3 files
spec/bounds_safety/pictures44 LOC (<1%) 2 files
include/arpa37 LOC (<1%) 2 files
papers/dynamic_checks/grammars28 LOC (<1%) 1 files
ROOT19 LOC (<1%) 1 files
Dependencies
Dependencies among components are static code dependencies among files in different components.

No component dependencies found.


2022-01-30 13:28