Contenuto principale

La traduzione di questa pagina non è aggiornata. Fai clic qui per vedere l'ultima versione in inglese.

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