OOO "Program Verification Systems" company is glad to announce a new major release of source code analyzer Viva64 2.0. Viva64 is a static analyzer of C/C++ code. Viva64 allows to detect incorrect constructions in the code of applications without launching the applications themselves.
Viva64 scopes of use:
Viva64's peculiarities:
0