×

Persisted specifications of method pre-and post-conditions for static checking

  • US 7,421,680 B2
  • Filed: 09/22/2003
  • Issued: 09/02/2008
  • Est. Priority Date: 09/22/2003
  • Status: Active Grant
First Claim
Patent Images

1. An executable code check computing system comprising:

  • an input component operating on computer hardware that receives an executable object file having an embedded specification that is removable, the specification specified at a source code level by embedding the specification within source code of the executable object file; and

    a checker operating on computer hardware that employs the specification to facilitate static checking of the executable object file, the checker providing information if a fault condition is determined, the fault condition is based on one or more of a violation of rules for using an interface, system resource management rules, rules for proper ordering of method calls, or string parameter format rules.

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