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
Computer system and volume migration control method using the same
Portable gaming device and gaming system combining both physical and virtual play elements
Pharmaceutical combination of pazopanib and topotecan to treat neuroblastoma, osteosarcoma, and rhabdomyosarcoma in a human
Methods and apparatus for intelligent selection of goods and services in mobile commerce
Amide derivatives, process for preparation thereof and use thereof as insecticide
Fuel cell system, and electric vehicle equipped with the fuel cell system
  Randomly Featured Patents
Nimesulide containing topical pharmaceutical compositions
Laser-machining polymers
Phase-control power controller for converting a line voltage to a RMS load voltage
Electric appliance timer with automatic turn off
Aerofoil for an axial flow turbomachine
Processing roll assembly
Seating cushion
Composite metal tubing
Transport pipe for solid materials
Configurable I/O bus architecture