Leírtam egy konkrét példát amelyet nem lehet fordítási időben kiértékelni. Se "trükkös algoritmusokkal" (bármit is jelentsen ez), se kódelemzőkkel, se ima könyvel és ima malommal, se ráolvasással, se ördögűzéssel...
A Coverityt folyamatosan futtatják a Linux kernelre, a FreeBSD-re és nagyjából minden népszerű és modern nyíltforráskódú szoftverre. Ettől még egyik sem hibamentes.