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
Multi-layer, microporous polyolefin membrane, its production method, battery separator and battery
Wall flow type exhaust gas purification filter
Method of and apparatus for laser drilling holes with improved taper
Magnetic memory element, driving method for same, and nonvolatile storage device
Automated incorporation of expert feedback into a monitoring system
Image forming apparatus with enhanced display of guidance information
Method and apparatus for linking a web browser link to a promotional offer
  Randomly Featured Patents
Cleaning unit for soldering iron or solder extractor tips
Content delivery technology
Flash memory cell with contactless bit line, and process of fabrication
Ultrasound biopsy probe
Passageway door lock
Position and pressure depth control system for an agricultural implement
Novel resist spinning head
Aqueous pigment dispersions
Formed in place fixation system with thermal acceleration
Use of antimineralocorticoid compounds against drug withdrawal syndrome