×

Custom API modeling for source code static analysis simulator

  • US 20060190923A1
  • Filed: 02/22/2005
  • Published: 08/24/2006
  • Est. Priority Date: 02/22/2005
  • Status: Active Grant
First Claim
Patent Images

1. A method for analyzing invocation of an external function for which function source code implementation is not available, comprising the steps of:

  • (a) identifying at least one potential error resulting from improper invocation of the external function by source code;

    (b) identifying at least one condition that will result in the potential error;

    (c) creating a model of the function to test for the at least one condition that results in the potential error and that will trigger generation of an error message when the condition is found; and

    (d) associating the model with a source code analyzer such that when the source code is analyzed by the source code analyzer, the model is applied to evaluate invocation of the external function.

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