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
Picture quality control method and image display using same
Information processing apparatus, information outputting method and computer program storage device
System for encrypting and decrypting a plaintext message with authentication
Representing polarized light in computer models
Selection of system parameters based on non-acoustic sensor information
System and method for predicting remaining useful life of device components
Magnetic storage apparatus
  Randomly Featured Patents
Pentas plant named `Lava Rose`
Herbicidal thiazole derivatives
Wire bond monitoring system for layered packages
Metal insert mounting
Integrated document imaging assembly
Toy spacecraft
Ink jet recording method
Ultra-flat box for insert
Method of making a shaped silicon carbide-silicon matrix composite and articles made thereby
Reaction catalyst for the elimination of oxyhydrogen gas in lead-acid storage batteries