La conformità al linguaggio descrive quanto strettamente un compilatore o un interprete segue le regole, i casi limite e il comportamento atteso definiti da uno standard di linguaggio di programmazione. Un'elevata conformità significa che il codice viene analizzato, diagnosticato ed eseguito in modi che corrispondono alla specifica, mentre una bassa conformità può introdurre avvisi, differenze di comportamento silenziose o errori di compilazione.
Nella sicurezza informatica, la conformità è importante perché sia gli attaccanti sia i difensori dipendono dal comportamento degli strumenti. Il codice malevolo può sfruttare differenze tra compilatori, come comportamento indefinito, estensioni non standard o analisi incoerente, per nascondere la logica o eludere l'analisi. I difensori usano i test di conformità per confrontare le toolchain, verificare build riproducibili e individuare bug di parsing che potrebbero influire sull'analisi statica, sui sanitizzatori o sulle pipeline di compilazione sicura. Quando il comportamento del compilatore è prevedibile, è più facile fidarsi del codice distribuito.