Resources Contact Us Home
Browse by: INVENTOR PATENT HOLDER PATENT NUMBER DATE
 
 
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
Buckle
Method for decoding a spatially multiplexed data signal using a maximum likelihood detection
Apparatus for performing timer management regarding a system timer scheduler service, and associated method
RF/optical shared aperture for high availability wideband communication RF/FSO links
Managing a packet service call within mobile communications user equipment
Cathode material for lithium ion secondary battery and lithium ion secondary battery using it
System and method for organizing, processing and presenting information
  Randomly Featured Patents
Device, kit and method for pulsing biological samples with an agent and stabilising the sample so pulsed
Reconditioned sand muller
Cosmetic delivery system for salicylic acid and process for preparation of same
Livestock sorting device
Aminoquinoline compounds
Fluorescent lamp with adjustable color temperature
Apparatus and method for system printing mode control
Adjusting perspective and disparity in stereoscopic image pairs
Semiconductor wafer processing apparatus and method
System for using a device for picking up samples in a soil or material with powdery or granular nature