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
Aqueous lubricant
Abuse-resistant mucoadhesive devices for delivery of buprenorphine
File aggregation method and information processing system using the same
Portable tablet computer stand
Scanning electron microscope
Interactive digital music recorder and player
Integrated circuit and method for reducing violations of a timing constraint
  Randomly Featured Patents
Method and apparatus for clamping incinerator grate bars
Method, apparatus, and system for implementing multicast services
Copolymerizable polyalkylene glycol macromonomers, and the preparation and use thereof
Biphenyl esters and liquid crystalline mixtures comprising them
Protective mask for pellicle
Infrared detector
Layout printability optimization method and system
Counterbalanced door mechanism for teller carrier receive tube of a pneumatic banking system