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
Fixing apparatus
Video conference
Method of manufacturing semiconductor devices using ion implantation
Case for electronic device
Audio processing in a multi-participant conference
Produce container and lid assembly
Nickel-cobalt-manganese multi-element lithium ion battery cathode material with dopants and its methods of preparation
  Randomly Featured Patents
Imaging system
Large hole sealing member and template
Corrosion-inhibiting liner for a pipe support
Distributed report processing system and methods
Lubrication gun housing
Medical tube holder
Computerized system and method for managing consumables and attachments
Plumbing enclosure
Dustproof bearing device for a motor