Error message

Strict warning: Only variables should be passed by reference in include() (line 54 of /home/isr-dru/sites/

Program Analysis

Project Dates: 
March 1998
Research Area(s): 
Project Description: 

To enable much of our research to enable program understanding, software quality, and maintenance, we utilize and develop analyses of program code. These analyses model the flows of information through the logic of programs and systems. With these analysis models enable automated techniques to assist development and maintenance tasks.