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 em causar ou detectar a violação da regra. Como resultado, arquivos diferentes aparecem na janela para diferentes violações de regras pelo mesmo driver.

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

Arquivos de origem do driver
Arquivos de origem para o driver e para as bibliotecas que ele usa, que estão 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 de origem para as regras do Verificador de Driver Estático na verificação. Este código é escrito em Specification Language for Interface Checking (SLIC), uma linguagem simples que foi desenvolvida para esse fim.

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