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
Support for a portable electronic device
Functionalized main chain polymers
Focusing apparatus that effectively sets a focus area of an image when a focusing mode is changed
Laser protection polymeric materials
Data encoding and decoding apparatus and method thereof for verifying data integrity
Electronic currency, electronic wallet therefor and electronic payment systems employing them
Nucleic acid sequences encoding strictosidine synthase proteins
  Randomly Featured Patents
Vehicle frame alignment apparatus
Process for making isethionate ester salts
Silicon-based visible and near-infrared optoelectric devices
Duct joint structure
Method and apparatus utilizing corona erase for improving a multi-color electrophotographic image
Medical training apparatus
Portable luggage carrier
Infinitely variable speed transmission
Optical scanning element, driving method for same, and optical scanning probe employing optical scanning element
Display system for a gasoline pump