Buffer overflow? Hranice polí (až na off-by-one, který ale ani .NET nevyřeší)? Neplatné přetypování? strcpy? Člověče, vždyť vy do C++ strkáte problémy z C (ale musím uznat, že je tam často strkají i programátoři, kteří neumí v C++ programovat).
Statickou analýzu kódu a model checking pro C++ umí třeba moje oblíbené LLVM (které umí i další vychytávky často připisované jen pro .NET a Javu).
