Software Analysis with ASIS

1
Software Analysis with ASIS
2
ASIS

• Asis offers access to the information stored in
  the Ada Environment database
• This voluminous database must be organized and
  condensed into useful perspectives

3
Software Perspectives

• Condensed Content
• Units and Dependencies
• Execution Flow
• Data
• Type Model
• Name Space

4
Condensed Content

• Verify coding violations
• Locate high-risk constructs
• Collect metrics
• Catalogue constructs by kind
• Locate key constructs
• tasking
• generics
• tagged types
• non-portable / implementation specific

5
Units dependencies

• Display hierarchical with closure (depth and fan
  out)
• Identify unused with clauses
• Identify unused declarations
• Analyze elaboration

6
Execution Flow

• Calling thread analysis
• Display hierarchical call tree
• Analyze stack size
• Identify synchronization requirements
• Locate recursion

7
Execution Flow, Cont.

• Path analysis
• Identify paths
• Locate use before set
• Locate set twice before use (Opt)
• Identify non-set of out parameters
• Identify function paths without return
• Locate dead code
• Locate infinite recursion

8
Execution Flow, Cont.

• Exceptions
• Determine exception propagation
• Locate raises / handlers

9
Program Data

• Locate objects set used
• Determine object size
• Locate static data
• Identify synchronization requirements
• Locate constraint violations

10
Type Model

• Select minimum required type model
• View composite structure
• Display class hierarchies
• Locate default initialization

11
Name Space

• Verify good naming
• Verify conformance to conventions and standards
• Verify consistent renaming