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
Solar cell using polymer-dispersed liquid crystals
Network fault detection
Thwarting keyloggers using proxies
Semiconductor device manufacture in which minimum wiring pitch of connecting portion wiring layer is less than minimum wiring pitch of any other wiring layer
Vertical gate LDMOS device
Stand for food service
Food safety printer
  Randomly Featured Patents
Tooth brush
Process for the preparation of thiazole derivatives
Spring joint for measuring device
Indium gallium nitride channel high electron mobility transistors, and method of making the same
Electrically insulating cantilever magnetometer with mutually isolated and integrated thermometry, background elimination and null detection
Acoustic fire detection circuit responsive to microcapsule ruptures
Headset telephone
Flow line bundle and method of towing same
Safety switch of screwdriver
Piping system for chemical liquids, in particular oil products, such as fuels