Methods for enhancing program analysis

Details Methods for enhancing program analysis Methods for enhancing program analysis

2005-06-07

2005-06-07

Vo, Ted T. (Department: 2122)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S128000, C717S133000, C717S144000, C717S156000

Reexamination Certificate

active

06904590

ABSTRACT:
Methods are discussed that enhance program analysis. One aspect of the invention includes a method for checking a model of a program. The method includes a control-flow graph having vertices from the model, applying a transfer function to each vertex to form a set of path edges, and analyzing the set of path edges of a vertex. The set of path edges includes valuations that are implicitly represented so as to inhibit an undesired explosion in the valuations that would hinder the act of analyzing.

REFERENCES:
patent: 5805894 (1998-09-01), Robison
Larus et al., “Optimal Profiling and Tracing Programs”, ACM, pp.: 1-38, Jul. 1994.
Ball et al., “On The Limit of Control Flow Analysis for Regression Test Selection”, ACM, pp.: 1-9, 1998.

Affiliated with

Also associated with

Rating

Methods for enhancing program analysis does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods for enhancing program analysis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods for enhancing program analysis will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3501452