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
Pharmaceutical compositions of paclitaxel, paclitaxel analogs or paclitaxel conjugates and related methods of preparation and use
Caching techniques
Automatic logical position adjustment of multiple screens
Coffee cup stationery tab
Light-emitting device package structure
Wireless communication system
Stable light source device
  Randomly Featured Patents
Photographic material
Combination based LRU caching
Interface and communication protocol for a mobile device with a smart battery
Enhanced soft tissue flap survival in reconstructive surgery
Corrugated tube, apparatus for perforating corrugated tube and method of perforating corrugated tube
Lint roller holder assembly
Etchant for etching silicon
Electrical connector assembly
Fast-acting collapsible fastener
Communication device for vehicle