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
Magnetic storage apparatus
Apparatus and method for image reconstruction and CT system
Wound dressings
Fuel cell with air channel actuator
Device and method for processing input data of protective relay
Creating and manufacturing documents that initially exceed equipment finishing capacity
Pipe coupling
  Randomly Featured Patents
Method for forming through holes
Methods for making pharmaceutical dosage forms containing active cushioning components
Demultiplexed nanowire sensor array for detection of chemical and biological species
Self-erecting display device
Panel edge gasket with compressible sealing portion
Dual-mode band-pass filter
Writing instrument
Method of making pseudomorphic high electron mobility transistors
Receiver having a gain-controllable input amplifier