Program analysis using symbolic ranges

Details Program analysis using symbolic ranges Program analysis using symbolic ranges

2011-08-23

2011-08-23

Zhen, Wei (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S124000, C717S131000, C717S151000

Reexamination Certificate

active

08006239

ABSTRACT:
A computer implemented method for generating a representation of relationships between variables in a program employing Symbolic Range Constraints (SRCs) wherein the SRCs are of the form φ:^i=1nli≦xi≦uiwhere for each i ε[l,n], the linear expressions li,uiare made up of variables in the set{xi+1, . . . ,xn} and wherein the SRCs comprise linear, convex, and triangulated constraints for a given variable order.

REFERENCES:
patent: 4642765 (1987-02-01), Cocke et al.
patent: 6014723 (2000-01-01), Tremblay et al.
patent: 6343375 (2002-01-01), Gupta et al.
patent: 6519765 (2003-02-01), Kawahito et al.
patent: 6665864 (2003-12-01), Kawahito et al.
patent: 7222337 (2007-05-01), Click et al.
patent: 7260817 (2007-08-01), Kawahito et al.
Cousot et al., “Static Determination of Dynamic Properties of Programs,” Apr. 1976, pp. 106-130.
Blume et al., “Demand-Driven, Symbolic Range Propagation,” 1995, p. 141-160.
Blume et al., “Symbolic Range Propagation,” 1995, IEEE, p. 357-363.
Markovskiy, Yury, “Range Analysis with Abstract Interpretation,” Dec. 2002, p. 1-8.
Xie et al., “Archer: Using Symbolic, Pathsensitive Analysis to Detect Memory Access Errors,” 2003, ACM.
Su et al., “A Class of Polynomially Solvable Range Constraints for Interval Analysis withoutWidenings and Narrowings,” 2004.
Rugina et al., “Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions,” Mar. 2005, ACM, p. 185-235.
Zaks et al., “Range Analysis for Software Verification,” 2006, p. 1-17.

Affiliated with

Also associated with

Rating

Program analysis using symbolic ranges does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Program analysis using symbolic ranges, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Program analysis using symbolic ranges will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2746970