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
Power transmission unit for vehicle
Acoustic panel for an ejector nozzle
Indexing resources for transmission of acknowledgement signals in multi-cell TDD communication systems
Biodegradable block copolymeric compositions for drug delivery
Methods for delivering a drug to a hospital patient for short-term use while minimizing long-term use of the drug
Gain control circuit, FM receiver and computer program product
Light-scattering substrate, method for manufacturing light-scattering substrate, polarizing plate and image display device
  Randomly Featured Patents
De-icing or defogging system for optical instrument and image acquisition device provided with said system
Earth ground terminal
Light programmable apparatus with light programmable lamp, setting device, and main structure
Apparatus for delivering humidified gases
Airway position support device
Electrode unit
Process for preparing optically active 3-hydroxypyrrolidine derivatives
Propane-fueled cooking apparatus
New Guinea Impatiens named BSR-195 Salmon
Microwave cooking grill with sealed enclosure of inert gas