Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2006-08-08
2006-08-08
Khatri, Anil (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S155000, C717S156000
Reexamination Certificate
active
07089542
ABSTRACT:
A method and apparatus are provided for analyzing software programs. The invention combines data flow analysis and symbolic execution with a new constraint solver to create a more efficient and accurate static software analysis tool. The disclosed constraint solver combines rewrite rules with arithmetic constraint solving to provide a constraint solver that is efficient, flexible and capable of satisfactorily expressing semantics and handling arithmetic constraints. The disclosed constraint solver comprises a number of data structures to remember existing range, equivalence and inequality constraints and incrementally add new constraints. The constraint solver returns an inconsistent indication only if the range constraints, equivalence constraints, and inequality constraints are mutually inconsistent.
REFERENCES:
patent: 5920716 (1999-07-01), Johnson et al.
patent: 5978588 (1999-11-01), Wallace
patent: 6014518 (2000-01-01), Steensgaard
patent: 6035107 (2000-03-01), Kuehlmann et al.
patent: 6070009 (2000-05-01), Dean et al.
patent: 6175948 (2001-01-01), Miller et al.
patent: 6230312 (2001-05-01), Hunt
patent: 6263491 (2001-07-01), Hunt
patent: 6321379 (2001-11-01), Callahan, II
patent: 6473884 (2002-10-01), Ganai et al.
patent: 6499137 (2002-12-01), Hunt
patent: 6643630 (2003-11-01), Pegatoquet et al.
patent: 6675379 (2004-01-01), Kolodner et al.
patent: 6925638 (2005-08-01), Koved et al.
patent: 6957422 (2005-10-01), Hunt
Wismuller, “Debugging of globally optimized program using data flow analysis”, ACM SIGPLAN, pp. 278-289, 1994.
Peymandoust et al, “Symbolic alegebra and timing driven data flow synthesis”, IEEE, pp. 300-305, 2001.
Mock et al, “Improving program slicing with dnamic points to data”, ACM SIGSOFT, pp. 71-80, 2002.
Gupta et al,“Hybrid slicing integrating dynamic information with static analysis”, ACM Tran. on software eng. & methodology, vol. 6, No. 4, pp. 370-397, 1997.
Brand Daniel
Darringer John A.
Krohm Florian
Khatri Anil
Ryan & Mason & Lewis, LLP
LandOfFree
Method and apparatus for finding errors in software programs... 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 and apparatus for finding errors in software programs..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for finding errors in software programs... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3624685