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
Polishing composition
Plants and seeds of hybrid corn variety CH089600
Media identification system with fingerprint database balanced according to search loads
Method and apparatus for supporting delivery, sale and billing of perishable and time-sensitive goods such as newspapers, periodicals and direct marketing and promotional materials
System and method for judging success or failure of work of robot
Methods and systems for representing missed approach information in perspective view on a cockpit display
Image processing apparatus, remote management system, license update method, and computer program product
  Randomly Featured Patents
X-Ray intensifying screens
Method for dynamically distributing items for changes based on group membership
Liquid crystal display panel and manufacturing method thereof
Hot air ladle preheat station and method
Solid state pickup device for suppressing smear signals
Hand carrier
Methods and systems for guiding clinical radiotherapy setups
Iconic display for a display screen of an aircraft flight attendant panel
Versatile platform for nanotechnology based on circular permutations of chaperonin protein
Method for detecting a target