Descrição
Bugs sutis em programas C podem ser investigados pelo build git atual do interpretador TrustInSoft. Desenvolvedores C e pesquisadores de verificação o instalam para analisar comportamento no nível do padrão e casos de comportamento indefinido. Código-fonte, saídas de análise, premissas de build e regressões do build git devem ser revisados antes de confiar nos achados.