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
Method for making an abrasion-resistant steel plate and plate obtained
Channel estimating method and device
Roll of continuous web of optical film laminate and production method therefor
Autobrake and decel control built-in test equipment
System and method for combined I/Q generation and selective phase interpolation
Film, polarizing plate and display device, and method of manufacturing film
Front cover of an electronic device
  Randomly Featured Patents
Fungicidal compositions containing (benzylidene)-azolylmethylcycloalkane
N-(aminoalkyl)- and/or N-(amidoalkyl)-dinitrogen heterocycles
Camera having function of correcting shake
Parimutuel content provisioning
Data carrier and write/read device therefor
Apparatus for continuously grinding wood under pressure and continuously discharging groundwood
Cylinder block and internal combustion engine
Rose plant named `Kolmag`
Radiotelephone and method for clock calibration for slotted paging mode in a CDMA radiotelephone system
Method for making vanadium dioxide powders