Limitazioni del driver statico

Questa sezione descrive le limitazioni generali dello strumento SDV, alcune limitazioni tecniche che impediscono a SDV di interpretare correttamente il codice del driver e le caratteristiche dei driver che SDV possono verificare.

Contenuto della sezione

Determinare se Static Driver Verifier supporta il driver o la libreria

Strumento generale e limitazioni tecniche del driver statico

Utilizzo della funzione _analysis_assume per eliminare i falsi difetti

Uso di __sdv_save_request e __sdv_retrieve_request per chiamate di routine posticipate

Uso di __sdv_save_adapter_context per tenere traccia dei campi di contesto dell'adapter