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
Display screen of a mobile terminal or portion thereof with a graphical user interface
Electronic device, display, image processing apparatus and electronic calculating apparatus
Support member, rotation device comprising such a support and rolling bearing assembly including such a detection device
Distylium plant named `PIIDIST-II`
Beverage container lid
High dynamic range pixel structure
  Randomly Featured Patents
Method for determining the individual control voltage of a piezoelectric element
Method and apparatus for dehydration of water-containing substance by electro-osmosis
Methods of forming copper-based conductive structures by forming a copper-based seed layer having an as-deposited thickness profile and thereafter performing an etching process and electroless
Scaffold-organized clusters and electronic devices made using such clusters
Portable smoke alarm
Disc protection casing and drive for receiving the same
Leukotriene antagonists
Lens-fitted photographic film unit with flash device
Process for the denitrogenation of nitrogen-containing hydrocarbon compounds
Method of manufacturing semiconductor device