Пользовался как-то студийным статическим анализатором. Мне не понравилось. Например, он ругается на строчки:
somefunc(short i, short j)
{
float m[16];
assert(i>=0 && i<4 && j>=0 &&j<4);
m[i*4 + j];
}
|
понятное дело, что я могу выйти за границы массива, если в i or j будет какаято левая фигня. но ведь это отсеивается ассертом. но статическому анализатору пофиг.
зы, название не говорящее. я думал это какой-то предмет типа матанала. и поэтому долго не заходил.