Next:
CQUAL Background
Up:
Using CQUAL for Static
Previous:
Summary
Approach
Subsections
CQUAL Background
Approach
Step 1: Initializing Controlled Objects to Unchecked
Step 2: Annotating Checked Parameters
Step 3: Authorizations
Step 4: Verifying Controlled Operations Within Authorizing Functions
Step 5: Verifying Assignments to Checked Objects
Steps 6 and 7: Determining and Verifying All Inter-procedural Code Paths
Complete Authorization
Catherine Zhang 2002-05-13