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
Motion blur reduction for LCD video/graphics processors
Potato cultivar F10
Vibration power generator and vibration power generation device, and communication device and electronic equipment with vibration power generation device
Highly detectable pilot structure
Methods of forming integrated circuit packages
Method and apparatus for soft information transfer between constituent processor circuits in a soft-value processing apparatus
Termite tubing preventative for non-wood materials
  Randomly Featured Patents
Thermal dye transfer sheet
Foley and lardner
Balance wheel assembly and method for manufacture thereof
Linearity enhancement on cascode gain block amplifier
Semiconductor device having an impurity gradient in the impurity regions and method of manufacture
Anti-adhesion device
Manufacturing process of loops on a sheet through knitting, loop material manufactured by this process and its use
Method and apparatus for leveling a body
Automatic motor torque and flux controller for battery-powered vehicle drive
Measuring machine for measuring object