OOO "Program Verification Systems" has released a new version of static analyzer PVS-Studio, 3.20. All the changes in the program refer to the inner structure of the program only, while from the point of view of the user, the interface has not undergone changes. Consideration has been given to reliability and support of diagnostics of some specific constructions of C++ language.