Suposiciones del análisis de Bug Finder
Suposiciones utilizadas durante el análisis de código
Para simplificar el proceso de configuración, si los archivos fuente están incompletos y no contienen una función main, Polyspace® Bug Finder™ realiza determinadas suposiciones durante el análisis del código. Puede consultar aquí cuáles son estas suposiciones.
Temas
- 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.
