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
Holding structure for a touch panel
Method of treating lung cancer
Method of hydrothermal liquid phase sintering of ceramic materials and products derived therefrom
Bioelectric battery for implantable device applications
Soybean cultivar CL1013675
Optical article including an antireflecting coating having antifog properties and process for making same
Image capture apparatus and program
  Randomly Featured Patents
Oxygen concentration sensor
Focus detector having light deflector near image forming plane
Structuring belt, press section and tissue papermaking machine for manufacturing a high bulk creped tissue paper web and method therefor
Cyclopropanecarboxylate insecticides and/or acaricides exhibiting low toxicity to mammals and fish
Ethernet link aggregation
Input mechanism
Coating composition
Phase locked loop amplifier for variable amplitude radio waves
Negative differential resistance device based on tunneling through microclusters, and method therefor
Radar apparatus calibration via individual radar components