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
Electromagnetic sensor cable and electrical configuration therefor
Semiconductor device
Systems and methods for printing images outside a normal color gamut in image forming devices
Systems and methods for universal enhanced log-in, identity document verification and dedicated survey participation
Rule-based stimulation program search
Multicolored light converting LED with minimal absorption
  Randomly Featured Patents
Method for providing high temperature internal insulation
Utility vehicle with work-performing attachment
Image forming apparatus and method of controlling the apparatus
Solid oxide fuel cell having monolithic cross flow core and manifolding
Frozen confection holder and receptacle
Battery assisted RFID system RF power control and interference mitigation methods
Mass storage repository for a wireless network
Communication device and method between an audiovisual information playback system and an electronic game machine
Method of making a photocatalytic material
Point of sale (POS) terminal security system