Static debugging tool and method

Details Static debugging tool and method Static debugging tool and method

1996-08-08

1998-12-29

Trammell, James P.

395705, 395707, 395708, 39518314, 39518322, 39518505, 39518501, 3951851, G06F 944, G06F 1100

Patent

active

058549242

ABSTRACT:
A static debugging tool for use with a computer and for debugging a binary program file includes an analyzer for causing the computer to statically analyze a representation of a binary program file to detect the presence of program errors and potential errors in the binary program file without executing the binary program file. The static debugging tool causes the computer to output an error list of the errors and potential errors detected by the analyzer. In a preferred embodiment, the analyzer detects the errors and potential errors in the representation of the binary program file by following all of the possible flow paths of the representation of the binary program file while tracking the use of various program parameters for any inconsistent use of the various program parameters. A method for statically debugging a binary program file is also described.

REFERENCES:
patent: 5119377 (1992-06-01), Cobb et al.
patent: 5132972 (1992-07-01), Hansen
patent: 5465258 (1995-11-01), Adams
patent: 5586328 (1996-12-01), Caron et al.
patent: 5673390 (1997-09-01), Mueller
patent: 5699507 (1997-12-01), Goodnow, II et al.
Brace et al., "Efficient Implementation of a BDD Package," 1990, IEEE Design Automation Conference.
Sheldon B. Akers, "Binary Decision Diagrams," Jun. 1978, IEEE Transactions on Computers.
Randal E. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation," Aug. 1986, IEEE Transactions on Computers.

Affiliated with

Also associated with

Rating

Static debugging tool and method does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Static debugging tool and method, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Static debugging tool and method will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1430078