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
Scaleable status tracking of multiple assist hardware threads
Anti-phishing system and method
Vertical axis wind turbines
Techniques for determining optimized local repair paths
Rear body panel cover for a motor vehicle
Imaging apparatus, control method thereof, and program
  Randomly Featured Patents
Electric connector
Method for sequentially ordering objects using a single pass delivery point process
Upholstery film pattern for vehicles and the like
Manual toothbrush for gingival tissue stimulation
Compositions for treatment of diabetic complications
Ethernet storage protocol networks
Automotive alternator having parallel connected circulating circuit to rapidly attenuate field current
Exercise chair
Plant disease controlling agent and controlling method