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
Integrated transmit/receive switch
Code conversion apparatus, code conversion method, and computer product
Assisted hybrid mobile browser
Demand based power allocation
Synergistic compositions for the treatment of topical viral infections
Dyes and methods of marking biological material
Error detection and recovery tool for logical volume management in a data storage system
  Randomly Featured Patents
Method for the electrolytical metal coating of magnesium articles
Semiconductor manufacturing method of die pick-up from wafer
Hand sign
Vibratory separation apparatus
Method of counting seeds dispensed through seed tubes of an air seeding system
Bubbling up task severity indicators within a hierarchical tree control
Method of evaluating long-term average portfolio risk and return for cyclical corporation
Home fitness gym
Air conditioner cord warning label
Variable transconductance amplifier