Everything about static code analysis for a Java programmer Maxim Stefanov, PVS Studio