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
EpCAM as a reprogramming factor for non-pluripotent cells
Method for increasing expression of active tumor necrosis factor receptor family member-Ig fusion proteins
Categorization of design rule errors
Flash multi-level threshold distribution scheme
Lamination sheet
Electronic device and control method therein
Arrays of optical confinements and uses thereof
  Randomly Featured Patents
Configuration for fuse initialization
Tamper-evident bottle overcap for supporting an electronic tag
Methods and systems for rendering computer graphics
Scanning confocal electron microscope
Tubular surgical cutters having aspiration flow control ports
Door lock
Displacement control device for an extractable power supply
Packaging assembly
Azabicyclooctane derivatives useful in the treatment of cardiac arrhythmias
Apparatus for joining sheets of material