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
Lubricating oil compositions
Optical recording medium, and method for producing optical recording medium
Simplifying lexicon creation in hybrid duplicate detection and inductive classifier systems
Methods for detecting DNA-binding proteins
Collaborative data redundancy for configuration tracking systems
Computer program, system, and method for mapping Social Security claiming strategies
Integrated circuit with electromagnetic intrachip communication and methods for use therewith
  Randomly Featured Patents
Portable bioagent concentrator
Satellite ready building and method for forming the same
Comfortable wireless communication device
Positioning structure for a dual-use antenna and base
Power unit cover for a portable hardfile storage device
Lipopeptides as antibacterial agents
Diversity receiving apparatus that prevents judgement errors during decoding and a clock generating circuit for a diversity circuit that prevents judgement errors during decoding
Liquid filling device
Method for manufacturing a foam panel
Control booth