主要内容

本页翻译不是最新的。点击此处可查看最新英文版本。

Bug Finder 分析假设

代码分析期间使用的假设

为了简化设置过程,如果您的源文件不完整并且未包含 main 函数,则 Polyspace® Bug Finder™ 在分析代码时会做出某些假设。您可以在此处了解这些假设。

主题