Developer Magic[tm]: Static Analyzer User's Guide

Document Number: 007-2580-002

Front Matter

| List of Figures | List of Examples | List of Tables |


Table of Contents

About This Guide

1. Introduction to the WorkShop Static Analyzer
How the Static Analyzer Works
How You Use the Static Analyzer

2. A Sample Session With the Static Analyzer
Tutorial 1: Applying the Static Analyzer to Scanned Files
Tutorial 2: Applying the Static Analyzer to Parsed C++ Files
Tutorial 3: Using the Compiler to Create a Static Analysis Database
Other Static Analyzer Features

3. Static Analyzer: Creating a Fileset and Generating a Database
Fileset Specifications
Using the Fileset Editor
Creating a Fileset Manually
Using Command-Line Options to Create and Use a Fileset
Generating a Static Analyzer Database
Rescanning the Fileset
Search Path for Included Files
Changing to a New Fileset and Working Directory

4. Static Analyzer: Queries
Defining the Scope of a Query
Making a Query
Viewing Source Code
Repeating Recent Queries
Saving Query Results

5. Static Analyzer: Views
Text View
Call Tree View
Class Tree View
The Results Filter

6. Static Analyzer: Working on Large Programming Projects
Creating a Fileset Using a Shell Script
Customizing the Fileset for Individual Code Modules
Using the Results Filter to Focus Queries
Applying Group Analysis Techniques

7. Getting Started With the Browser
Starting Browser View
General Characteristics of the Browser

8. Using the Browser for C++: A Sample Session
Setting Up the Sample Session

9. Using the Browser for Ada: A Sample Session
Setting Up the Sample Session

10. The Browser Reference
Browsing Choices Window
Browser View Window
Browser View Menu Bar
Browser View Popup Menus
Graph Views Window
Call Graph Window

A. Customizing the C++ Browser
Customizing the Browser View Lists
Customizing Reference Page Generation

Index