facebook / infer
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 (19 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 12 components.

Bubble Chart | Tree Map
Components
The "primary" logical decomposition has 19 components.
  • 1,883 files, 203,773 lines of code (100.0% vs. main code).
  • "infer/src" is biggest, containing 75.56% of code.
  • "infer" is smallest, containing 0% of code.


infer/src153974 LOC (75%) 1106 files
sledge/src11237 LOC (5%) 76 files
sledge/semantics9848 LOC (4%) 11 files
infer/models8212 LOC (4%) 167 files
facebook-clang-plugins/libtooling4853 LOC (2%) 12 files
sledge/nonstdlib4441 LOC (2%) 54 files
website/static4230 LOC (2%) 371 files
sledge/cli2787 LOC (1%) 13 files
facebook-clang-plugins/clang-ocaml849 LOC (<1%) 14 files
sledge/report805 LOC (<1%) 1 files
infer/lib591 LOC (<1%) 5 files
sledge464 LOC (<1%) 3 files
sledge/ppx_trace425 LOC (<1%) 3 files
infer/annotations384 LOC (<1%) 35 files
website/src360 LOC (<1%) 5 files
website139 LOC (<1%) 2 files
ROOT106 LOC (<1%) 1 files
sledge/model62 LOC (<1%) 3 files
infer6 LOC (<1%) 1 files
Dependencies
Dependencies among components are static code dependencies among files in different components.

No component dependencies found.


2022-04-14 23:00