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
Network attachment for IMS systems for legacy CS UE with home node B access
Three-dimensional holographic display using active shutter
System and method for providing location and access network information support in a network environment
Rapid glycopeptide optimization via neoglycosylation
Human renal disease marker substance
Arbitration circuit to arbitrate conflict between read/write command and scan command and display driver integrated circuit having the same
  Randomly Featured Patents
Mirror with scratch resistant surface
Audio system with balance setting based on information addresses
Polyaniline derivatives and their production process
Self-verifying gaming voucher having secondary machine readable indicia
SRAM device having high aspect ratio cell boundary
Method of lowering intraocular pressure using melatonin
Multiple toilet paper holder and dispenser
Wireless telephone
Vacuum cleaner nozzle