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
Guitar strap attachment means
Wafer level packaging
Information processing apparatus and storage medium for storing information processing program
Image sorting device, method, program, and integrated circuit and storage medium storing said program
Deposited conductive layers for leads of implantable electric stimulation systems and methods of making and using
Pixel structure of a solid-state image sensor employing a charge sorting method
Controlling ring-back tone output prior to a communication connection in mobile terminal
  Randomly Featured Patents
Method and apparatus for adding or removing devices from a computer system without restarting
Electromagnetic acoustic transducer and methods of determining physical properties of cylindrical bodies using an electromagnetic acoustic transducer
Impact wrench torque calibrator
Integrated child seat having special functions
Method of determining the amount of residue in carbon black
Multi-function lantern
Dry etchback of interconnect contacts
Braking force control apparatus
Hydraulically driven vehicle
Dispenser lock