Contenuto principale

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