Method for analyzing calls of application program by inserting m

Details Method for analyzing calls of application program by inserting m Method for analyzing calls of application program by inserting m

1990-09-18

1994-05-17

Lee, Thomas C.

Excavating

395575, 395700, 371 19, 3642745, 3642804, 3642805, 3642641, 364DIG1, G06F 1130, G06F 945

Patent

active

053136160

ABSTRACT:
A method for verifying the conformance of an application program to a set of system rules characterized by the development of a conformance database, the performance of a static analysis of the application program to determine whether the application program is in static conformance with the conformance database and the performance of a dynamic analysis of the application program to determine whether the application program is in dynamic conformance with the conformance database. The static analysis produces a graph of the basic blocks of the application program and analyzes the graph for conformance to system rules, dead code and coverage metrics. The dynamic analysis adds a small amount of monitoring code into an executable application program which monitors the application program as it is exercised in a test harness. The monitoring code produces a log database which can be analyzed for run-time non-conformities of the application program.

REFERENCES:
patent: 4100532 (1978-07-01), Farnbach
patent: 4533997 (1985-08-01), Furgerson
patent: 4642765 (1987-02-01), Cocke et al.
patent: 4692897 (1987-09-01), Crabbe, Jr.
patent: 4951195 (1990-08-01), Fogg, Jr. et al.
patent: 5047919 (1991-09-01), Sterling et al.
patent: 5204956 (1993-04-01), Danuser et al.
patent: 5210862 (1993-05-01), De Angelis et al.
patent: 5212794 (1993-05-01), Pettis et al.
Joseph et al, "A Fault Tolerance Approach To Computer Viruses", IEEE, Apr. 1988, pp. 52-58.

Affiliated with

Also associated with

Rating

Method for analyzing calls of application program by inserting m does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method for analyzing calls of application program by inserting m, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for analyzing calls of application program by inserting m will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-884763