Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2005-08-30
2005-08-30
Baderman, Scott (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C717S126000
Reexamination Certificate
active
06938186
ABSTRACT:
Described is a method and system that performs path-sensitive verification on programs having any code base size. The method maintains a symbolic store that includes symbolic states. Each symbolic state includes a concrete state and an abstract state. The abstract state identifies a state in which the property being tested currently exists. The concrete state identifies other properties of the program. The symbolic store is updated at each node in a logic path of the program with changes in the abstract state and the concrete state. The updates occur such that the symbolic states associated with a particular edge of any node will not have identical abstract states. Rather, in this case, the symbolic states are merged by combining the concrete states to include content that is similar in both symbolic states. In addition, the concrete state determines relevant paths to proceed along in the logic path.
REFERENCES:
patent: 2003/0204834 (2003-10-01), Ball et al.
Ammons, G. Bodik, R. and Larus, J., “Mining Specifications,” Conference Record of the Twenty-Ninth ACM Symposium on Principles of Programming Languages, 2002.
Deline, R. and Fahndrich, M., “Enforcing High-Level Protocols in Low-Level Software,” Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, 2001.
Detlefs, D., Leino, R., Nelson, G., and Saxe, J., “Extended Static Checking,” Technical Report TRSRC, Compaq SRC, Dec. 18, 1998, pp. 0-44.
Engler, D., Chen, D.Y., Hallem, S., Chou, A., and Chelf, B., “Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code,” Proceedings of the Eighteenth ACM Symposium on Operating Systems Principals, 2001.
Evans, D., “Static Detection of Dynamic Memory Errors,” Proceedings of the ACM SIGPLAN 96 Conference on Programming Language Design and Implementation, 1996, pp. 44-53.
Flanagan, C. and Leino, R., “Houdini, an Annotation Assistant for ESC/Java,” Symposium of Formal Methods Europe, Mar. 2001, pp. 1-18.
Kuncak, V., Lam, P., Rinard, M., “Role Analysis,” Conference Record of the Twenty-Ninth ACM Symposium on Principles of Programming Languages, 2002, pp. 17-32.
Reps, T., Horwitz, S., and Sagiv, M., “Precise Interprocedural Dataflow analysis via Graph Reachability,” Conference Record of the Twenty-Second ACM Symposium on Principles of Programming Languages, 1995, pp. 49-61.
Strom, R., and Yemini, S., “Typestate: A Programming Language Concept for Enhancing Software Reliability,” IEEE Transactions on Software Engineering, 1986, vol. 12, Issue 1, 157-171.
Ammons, G. and Larus, J., “Improving Data-flow Analysis with Path Profiles,” Proceedings of the ACM SIGPLAN 98 Conference on Programming Language Design and Implementation, 1998, pp. 568-582.
Bodik, R., and Anik, S., “Path-Sensitive Value-Flow Analysis,” Symposium on Principles of Programming Languages, pp. 1-15, 1998.
Ball, T., and Rajamani, S., “Automatically Validating Temporal Safety Properties of Interfaces,” Proceedings of SPIN '01, 8th Annual SPIN Workshop on Model Checking of Software, May 2001.
Bush, W., Pincus, J., and Sielaff, D., “A Static Analyzer for Finding Dynamic Programming Errors,” Software -Practice and Experience, 2000, 775-802, vol. 30, Issue 7.
Das Manuvir
Lerner Sorin L.
Seigle Mark C.
Baderman Scott
Lee & Hayes PLLC
LandOfFree
System and method for performing a path-sensitive... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System and method for performing a path-sensitive..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for performing a path-sensitive... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3494623