This document contains the following sections:
This section lists related publications and describes the notation conventions used in this manual.
Getting Started describes IAS and its place in application development, and provides the IAS command-line syntax.
Command-line Options explains the command-line options.
Dependency Violations and Assembly Modes explains working with automatic and explicit code.
Features describes the IAS features that complement the features defined in the assembly language.
Diagnostic Messages lists the IAS error and warning messages.
Return Values explains the values that IAS returns upon termination.
Specifications lists IAS specifications.
Predicate Analysis describes how IAS performs predicate analysis.