Bug Finder 分析假设
代码分析期间使用的假设
为了简化设置过程,如果您的源文件不完整并且未包含 main
函数,则 Polyspace® Bug Finder™ 在分析代码时会做出某些假设。您可以在此处了解这些假设。
主题
- Global Variables in Polyspace Bug Finder
Learn how Bug Finder handles global variables during a code analysis.
- Inputs in Polyspace Bug Finder
Learn how Bug Finder handles inputs during code analysis.
- Volatile Variables in Polyspace Bug Finder
Learn how Bug Finder handles volatile variables during a code analysis.
- Duplicate Code Detection in Polyspace Bug Finder
Learn about duplicate code detection and its limitations.
- Expensive-to-Read Objects in Bug Finder
Find out how Bug Finder calculates if an object is more expensive to copy or more expensive to reference during a read operation.