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...
Oké, elhiszem.
Véleményem szerint a kevesebb kódot igénylő jó megoldás felé kell menni, ez pedig ezt jelenti, hogy a statikus kódelemzőknek kell fejlődniük, mint pl. coverity és valgrind...