Arquivos no Painel de código-fonte

Os arquivos aparecem no painel Código-Fonte somente quando o código que eles contêm está envolvido na causa ou na detecção da violação da regra. Como resultado, arquivos diferentes aparecem na janela para diferentes violações de regra pelo mesmo driver.

Os seguintes tipos de arquivos aparecem no painel de código-fonte:

Arquivos de origem do driver
Arquivos de origem do driver e das bibliotecas que ele utiliza, envolvidos na violação da regra. Esse grupo de arquivos inclui arquivos C e arquivos de cabeçalho.

Arquivo de origem da regra (\* .slic)
O arquivo fonte das regras do Verificador de Driver Estático utilizado na verificação. Esse código é escrito em SLIC (Specification Language for Interface Checking), uma linguagem simples que foi desenvolvida para essa finalidade.

sdv-harness.c
O arquivo de origem do modelo do sistema operacional SDV para as regras de verificação.