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
Surfcraft fin
Milk frother
Identification of biomarkers in biological samples and methods of using same
Non-volatile flash-RAM memory with magnetic memory
Polarization-coupled ferroelectric unipolar junction memory and energy storage device
Clock face
System and method for selecting a video encoding format based on feedback data
  Randomly Featured Patents
Method and system for delivering an application in an interactive television network
Method of forming a passivation film
Medical device arm rest
System and method of identifying and sorting international mail pieces based on applied-postage adequacy in order to enhance postal service revenue protection
Passenger protecting apparatus and method for protecting passenger
Low noise compile paddles
System and method for controlling wireless LAN bandwidth allocation
Integrated interference cancellation system architecture with distortion correction
Thin film hydrogen sensor