System and method for checking for dynamic resource misuse in a

Details System and method for checking for dynamic resource misuse in a System and method for checking for dynamic resource misuse in a

1996-03-28

1998-06-09

Beausoilel, Jr., Robert W.

G06F 1100

Patent

active

057648832

ABSTRACT:
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.

REFERENCES:
patent: 4720778 (1988-01-01), Hall et al.
patent: 5390325 (1995-02-01), Miller
patent: 5394347 (1995-02-01), Kita et al.
patent: 5490249 (1996-02-01), Miller
patent: 5513122 (1996-04-01), Cheng et al.
patent: 5600789 (1997-02-01), Parker et al.

Affiliated with

Also associated with

Rating

System and method for checking for dynamic resource misuse in a does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System and method for checking for dynamic resource misuse in a , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for checking for dynamic resource misuse in a will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2212063