주요 콘텐츠

Bug Finder Analysis Assumptions

Assumptions used during code analysis

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.

도움말 항목