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
Substituted bicyclic HCV inhibitors
Polyurethane resin, toner for developing electrostatic charge image, electrostatic charge image developer, toner cartridge, process cartridge, image forming apparatus, and image forming method
Storage device having clock adjustment circuitry with firmware-based predictive correction
Wideband multi-channel receiver with fixed-frequency notch filter for interference rejection
Process for the preparation of morphinane analogues
Computer product, information retrieval method, and information retrieval apparatus
Synergistic preparations based on mixtures of glycerol ether with aromatic alcohol for controlling mycobacteria
  Randomly Featured Patents
Heat battery
Helianthus plant named `First Light`
Circuit for protecting electronic equipment from overvoltage or overcurrent conditions
Tape writing device
Managing a node cluster
Method and apparatus for controlling a TX power amplifier
Telescopic shafts
Method and device for determining a calibrating parameter of a stereo camera
Apparatus for assembling door handle
Scroll key having a function selecting switch