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
Compositions for inhibiting NADPH oxidase activity
1,3-diiodohydantoin compound and production method thereof
Visually tracking an object in real world using 2D appearance and multicue depth estimations
Asynchronous task execution
Login security with short messaging
Automatically selecting a paper with increased dimensions than originally desired for printing and adding advertisement content to the increased dimensional area of the paper
Electrode and method for manufacturing the same
  Randomly Featured Patents
System and method of asynchronous data transfer through a plurality of modems
Microelectronic device
Exhaust muffler for internal combustion engine
Artificial marble using low specific gravity material as chip and process for preparing the same
No-tangle two dog retractable leash with rotatable handle
Pneumatic tire with tread having lateral grooves
Tire tread element mold chamfer to modify RCF and/or RSAT using the existing mold
Ambipolar organic thin-film field-effect transistor and making method
Reaction container for a chemical analyzer
Handle assembly for a pressurized dispensing container