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
Performing treatment on stressors
Providing slope values for a demapper
Lightning current transfer assembly for a wind turbine
Flat-fold filtering face-piece respirator having structural weld pattern
Controller for video game console
Alignment window for drive tool assembly
Robotic catheter system input device
  Randomly Featured Patents
Training for directional detection
Return device for a direction indicating switch
Bucket crusher
Lantern shaped bottle opener
Retinoic acid receptor alpha proteins
Solenoid apparatus
Shielded carrier for land grid array connectors and a process for fabricating same
Drive mechanism for toy racing car
Apparatus and method for receiving data in a mobile communication system using an adaptive antenna array scheme
Crown die for thread rolling of applicator rolls