Bug Finder Analysis Assumptions
To simplify the setup process, if your source files are incomplete
and do not contain a main function, Polyspace®
Bug Finder™ makes certain assumptions when analyzing your code.
You can learn about these assumptions here.
Topics
- 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.
