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
Nutritional supplement method
Solid-state image pickup element, method of manufacturing the same, and image pickup apparatus including the same
Nacelle cover
Headset, terminal, and method capable of switching headset mode
Image forming system, printing control method, and program
System for determining potential lot consolidation during manufacturing
Fused thiazole derivatives as kinase inhibitors
  Randomly Featured Patents
Surgical retractor platform blade apparatus
Method for drying products in divided form, particularly cereals
Massively parallel processor including transpose arrangement for serially transmitting bits of data words stored in parallel
Priority hash index
System and method for measuring piston ring rotation
Method and system for providing aggregate data access
Oncolytic viruses and methods for treating neoplastic disorders
Bat bag
Plastic lenses for glass melters
Narrow top pole of a write element