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
Compositions and methods for inhibition of MMP13:MMP-substrate interactions
Automatic stop and restart device for an engine
Semiconductor device
Semiconductor device including insulating layer of cubic system or tetragonal system
Image forming apparatus with static elimination
Faucet handle
String changing tool with a quick connector assembly and worm gear string cutter
  Randomly Featured Patents
Tricyclic cage compounds, their synthesis and use as antiviral agents
Microwave reflection survey technique for determining depth and orientation of buried objects
Cleaning cloth
Aircraft window escuthcheon assembly
Method for providing magnetic markers on elongated hidden objects
ROS-sensitive iron chelators and methods of using the same
Drill bit reverse circulation apparatus and method
Polygonal cutting insert
Insulative composition and method of making articles therefrom
Butynediol production