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
Strongly bound carbon nanotube arrays directly grown on substrates and methods for production thereof
Data security for dynamic random access memory using body bias to clear data at power-up
Pyrazole kinase modulators and methods of use
Systems and methods of using dynamic data for wear leveling in solid-state devices
Apparatus and method for transmitting and receiving data streams in wireless system
Method and system for checking citations
Synchronization of communication equipment
  Randomly Featured Patents
Automated banking machine controlled responsive to data bearing records
Multicolor recording material
Nanoparticles for optical sensors
Board game assembly
Method and system for facilitating burst-mode optical power measurement
Method and apparatus for recorded digital data protection via media volume
Instrument panel
Noncarbonated beverage products with improved microbial stability and processes for preparing
Real-time messaging system for an image display device
Extrusion apparatus for ground meat