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
Antagonists of the glucagon receptor
Method and apparatus for generating images using a color field sequential display
Battery cell separator
Timing and cell specific system information handling for handover in evolved UTRA
Charged particle source with integrated electrostatic energy filter
Self-assembling surface coating
  Randomly Featured Patents
Heating device for an automobile especially a water heating device in the form of a backup heater or auxiliary heater
Energy economized pass-transistor logic circuit and full adder using the same
Docking media player clock radio
Bag holder
Proteins with an attached short peptide of acidic amino acids
Information transmission system and information transmission method, and, optical space transmission system and optical space transmission method
Polymer, semiconductor film, electrode, electrode active material, electrochemical element and electricity storage device
Pedal module
Fluid receiving trap