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
Cellulose acylate laminate film, method for producing cellulose acylate laminate film, polarizer and liquid crystal display device
System, apparatus, and method for fast startup of USB devices
System and method for agitation of multiple specimen containers
Flat panel display
Imaging lens with three lens elements, and electronic apparatus having the same
Method and device for authenticating transmitted user data
  Randomly Featured Patents
Method for manufacturing tempered glass sheet and apparatus for manufacturing the same
Input-output line sense amplifier having adjustable output drive capability
Method for the production of an immunostimulating mucin (MUC1)
Game and apparatus therefor
Method and system for receiving signals via multi-port distributed antenna
Method of supressing vibrations of an actuation element of a hydraulic force transmission apparatus and auxiliary vibrator for carrying out the method
Emergency running ring for pneumatic vehicle tires
Metallized film series section capacitor with improved oxidation resistance
Bookcase for computer terminal desk
Method of recognizing characters