SYSTEM AND METHOD FOR CHECKING FOR DYNAMIC RESOURCE MISUSE IN A COMPUTER PROGRAM

A system and method for identifying dynamic resource misuses via inspection that may result in problems like corrupted heap memory and memory leaks in a target program. The parameters and variable are marked with a particular state type. The target program is then analyzed one function at a time via symbolic execution so as to interpret each function based on the states of the variable and parameters and the operations performed by the basic blocks comprising the function. A state transition table is utilized to define the new state of a destination based on the operation and current state. Coding violations identified by the state transition table are reported and a signature of the function created for use when analyzing other functions that call the current function being analyzed.