The most important thing I have done as a programmer in recent years is to aggressively pursue static code analysis. Even more valuable than the hundreds of serious bugs I have prevented with it is the change in mindset about the way I view software reliability and code quality.
The PVS‑Studio static code analyzer
Finds errors and potential vulnerabilities in your code:
PVS‑Studio detects a wide range of errors:
- array index out of bounds;
- unreachable code;
- dereference of null pointers (C, C++) and references (C#, Java);
- undefined behavior;
- 64-bit errors;
- errors in serialization\deserialization;
- and so on.