Ipotesi di analisi Bug Finder
Ipotesi utilizzate durante l'analisi del codice
Per semplificare il processo di impostazione, se i file sorgente sono incompleti e non contengono una funzione main
, Polyspace® Bug Finder™ formula alcune ipotesi durante l'analisi del codice. È possibile ottenere ulteriori informazioni su queste ipotesi qui.
Argomenti
- 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.