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

摘要

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