×

Donut domains—efficient non-convex domains for abstract interpretation

  • US 8,719,790 B2
  • Filed: 03/23/2012
  • Issued: 05/06/2014
  • Est. Priority Date: 03/23/2011
  • Status: Expired due to Fees
First Claim
Patent Images

1. A computer implemented method for computer program analysis comprising the steps of:

  • generating an outer convex region of all reachable states for the computer program wherein the outer region (D1) represents an over-approximation of all of the reachable states;

    generating an inner convex region of all unreachable states for the computer program wherein the inner region (D2) represents an under-approximation of all of the unreachable states; and

    generating a set of possible program errors using abstract interpretation over the difference between the two regions.

View all claims
  • 3 Assignments
Timeline View
Assignment View
    ×
    ×