Resources Contact Us Home
Method for enhancing program analysis

Image Number 6 for United States Patent #7757219.

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.

  Recently Added Patents
Weighted determination in configuration management systems
Micro positioning test socket and methods for active precision alignment and co-planarity feedback
Efficient forward ranking in a search engine
Display sheet, display device, and electronic apparatus
Light-reflective anisotropic conductive paste and light-emitting device
Binary-to-gray converting circuits and gray code counter including the same
Control method of LPI lamp for LPI vehicle and logic therefor
  Randomly Featured Patents
Method of and device for manufacturing curved helical springs
Data rate management system and method for A/V decoder
Searching system for determining alternative routes during failure in a network of links and nodes
Process for production of liquid developer, and liquid developer produced by the process
Anti-lock brake control system
System and method for building and retrieving a full text index
Information processor and information processing system
Apparatus and method for calibrating a sensor system using the Fast Kalman Filtering formula
Dihydroquinoline derivatives, pharmaceutical compositions and methods of use of dihydroquinoline derivatives as modulators of the arachidonic acid cascade