源代码静态分析模拟器的自定义API建模

摘要

在处理诸如应用程序编程接口(API)等源代码不可用的外部函数中，使用模型来评估是否恰当地调用了该外部函数。标识由对外部函数的不恰当调用潜在导致的错误以及将导致该潜在错误的至少一个条件。创建模型来测试将该导致潜在错误的条件。当发现条件时，触发生成出错消息。模型与源代码分析器相关联，使得当由源代码分析器分析源代码时，模型被应用来评估对外部函数的调用。可以从描述外部函数或API的操作的文档中获取潜在的错误及导致错误的条件，诸如输入/输出参数错误或依赖性错误。

主权项

一种用于分析函数源代码实现不可用的外部函数的调用的方法，包括以下步骤：(a)标识由源代码对所述外部函数的不恰当调用导致的至少一个潜在错误；(b)标识将导致所述潜在错误的至少一个条件；(c)创建函数的模型以测试导致潜在错误并当发现所述至少一个条件时将触发生成出错消息的所述至少一个条件；以及(d)将所述模型与源代码分析器相关联，使得当所述源代码由所述源代码分析器分析时，所述模型被应用来评估对所述外部函数的调用。