×

Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints

  • US 20060168480A1
  • Filed: 11/07/2005
  • Published: 07/27/2006
  • Est. Priority Date: 11/08/2004
  • Status: Active Grant
First Claim
Patent Images

1. A method comprising:

  • modifying program code by inserting one or more dynamic annotations having unsolved variables;

    generating one or more constraints based on the one or more dynamic annotations using a verifier;

    solving the one or more generated constraints; and

    modifying the program code by inserting a dynamic annotation in place of an annotation containing an unsolved variable.

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