Annotating Components to Support Component-Based Static Analysis of Software Systems ; CU-CS-896-99