Documentation

Polyspace Results in Polyspace Products for Ada

Review Results

Results

Run-Time Checks

Code Metrics

Number of Files Number of source files
Number of Lines Without Comment Number of code lines excluding comments
Number of Packages Number of Ada packages
Number of Packages in With Statements Number of packages in with statement
Number of Subprograms in With Statements Number of subprograms in with statement

Global Variables

Shared protected global variable Global variables shared between multiple tasks and protected from concurrent access by the tasks
Shared unprotected global variable Global variables shared between multiple tasks but not protected from concurrent access by the tasks
Non-shared used global variable Global variables used in a single task
Non-shared unused global variable Global variables declared but not used
Was this topic helpful?