Contents
©2000 LDRA Ltd. Technical Description v7.0 i of iv
Contents
Static Analysis:
Main Static Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Analysis Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
File Inclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Macro Expansion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Code Reformatting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Programming Standards Verification . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
MISRA C Checking (C/C++ only) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
DERA C (C/C++ only) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Complexity Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Complexity Metric Production . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Control Flow Knots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Cyclomatic Complexity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Reachability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Looping Depth . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
LCSAJ Density . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Comments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Halstead’s Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Structuredness - Structured Programming Verification . . . . . . . . . . . . . . . . . . . . . 4
Object Orientated Metrics (C++ only) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Fan In/Fan Out . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Code and Data Graphical Visualisation . . . . . . . . . . . . . . . . . . 6
Callgraphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Flowgraph Displays . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Bar Charts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Kiviat Diagram . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Quality Report . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Metrics Report . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Static and Complexity Analysis Summary . . . . . . . . . . . . . . . . . 8
Static Data Flow Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Procedure Call Information . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Data Flow Anomalies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Data Flow Anomaly Messages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .10
Procedure Interface Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Procedure Parameter Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .10
Global Variable Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11
Function Value Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11
Global Data Flow Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11
Static Data Flow Analysis Summary . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Cross Reference . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Cross Reference Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Information Flow Analysis . . . . . . . . . . . . . . . . . . . . . . . . 13
Data Object Analysis Report . . . . . . . . . . . . . . . . . . . . . . . 15
Contributing Analysis Phases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Variable Documentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Variable Type Reporting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .15
Variable Attribute Reporting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .15
Structure Element Documentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .16
Other Documentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .16
Code Documentation Reports (C/C++ only) . . . . . . . . . . . . . . . 17
Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Procedure Parameters and Globals Report . . . . . . . . . . . . . . . . . . . . . . 17
Automatic Header Comment Generator . . . . . . . . . . . . . . . . . . . . . . . . 17
Class Hierarchy Report (C++ only) . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
评论1
最新资源