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
Technique for manufacturing bit patterned media
Apparatus for focus beam analysis of high power lasers
Hand mixer
Cable preparation tool
High damage threshold frequency conversion system
Computer device with digitizer calibration system and method
Dithering method and apparatus
  Randomly Featured Patents
Semi-conductor voltage regulator, particularly for automotive use
Systems and methods for hybrid rate limiting based on data bit count and data packet count
Light attenuator and process for fabrication thereof
Light stable hop extracts and method of preparation
Method for evaluating and controlling a radar installation
Homologated vitamin D.sub.2 compounds and the corresponding 1.alpha.-hydroxylated derivatives
Kitchen appliance having a housing and having an add-on unit which can be accommodated in the kitchen appliance and whose functionality is independent of the kitchen appliance
Continuous skin, variable camber airfoil edge actuating mechanism
Neuroceutical for improving memory and cognitive abilities
Primary X-ray diaphragm assembly