A megbízhatóságot úgy is lehet növelni ha van többféle független C fordító binárisod. (Intel C, clang, régebbi gcc binárisok)
Mindegyikkel lefordítod az átnézett kódot, majd az így nyert 3-4 gcc fordítóval - tul.képpen önmagával - megint lefordítod az átnézett kódot.
Hibátlan, megbízható működés esetén csak egyféle kimenet lehetséges. Hibás, támadó jellegűből viszont végtelen sokféle elképzelhető. Így felteszed, hogy az egyező bináris végeredmény a hibátlanság melletti független "szavazatnak" számít, valamilyen apriori megbecsült, mondjuk p=0.5 megbízhatósággal.
Azaz minden új, a korábbiakkal megegyező bináris eredmény kétszeresére növeli a "hitedet", hogy megbízható az új gcc-d...