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
Apparatus and method for transmitting and receiving data
Media used in digital high speed inkjet web press printing
Grip for a racket
LED lighting module
Socket type MEMS device with stand-off portion
Motion-compensated prediction of inter-layer residuals
  Randomly Featured Patents
Head wall for hospital bed
IC package assembly with retention mechanism
3,6-Dioxo-1,4-cyclohexadien-1-yl-butandate esters
Tert.-butoxybutanals, tert.-butoxybutanols, bis-tert.-butoxypentanals and bis-tert.-butoxypentanols
System for supplying current to a load
Reduced twist carrier
Method and apparatus for selecting and viewing portions of web pages
Process for producing a culture of Antrodia camphorata and product obtained thereby
Difference-in-time-of-arrival direction finders and signal sorters
Low-distortion audio amplifier circuit arrangement