Hypothèses d’analyse Bug Finder
Hypothèses utilisées lors de l'analyse du code
Pour simplifier le processus de configuration, si vos fichiers source sont incomplets et ne contiennent pas de fonction main, Polyspace® Bug Finder™ avance certaines hypothèses lors de l'analyse de votre code. Vous pouvez en savoir plus sur ces hypothèses ici.
Rubriques
- 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.
