Bagikan melalui


File Output Pemverifikasi Driver Statis

SDV menghasilkan beberapa jenis file output dan hasil yang berbeda. Bagian ini menjelaskan file dan cara menggunakannya.

Bagian ini mencakup:

Command-Line Output

Sdv-map.h

Saat mengevaluasi hasil verifikasi SDV, Anda harus memeriksa semua output dengan hati-hati dan menyelidiki kesalahan apa pun.