General discussion
Thread display: Collapse - |
All Comments
Start or search
Create a new discussion
If you're asking for technical help, please be sure to include all your system info, including operating system, model number, and any other specifics related to the problem. Also please exercise your best judgment when posting in the forums--revealing personal information such as your e-mail address, telephone number, and address is not recommended.
PVS-Studio 3.30 for recourse-intensive applications developers
The new key feature of PVS-Studio 3.30 code analyzer is the verification of 32-bit projects for estimation of complexity and cost of code migration to 64-bit systems. Due to this possibility, it is feasible to estimate the work content of code migration process yet before this process starts.
You can download PVS-Studio trial version here:
http://www.viva64.com/pvs-studio/download/
Full list of innovations:
• In PVS-Studio, a possibility of 32-bit projects verification was added for estimation of complexity and cost of code migration to 64-bit systems.
• New rule for 64-bit code analysis was added, V118: malloc() function accepts a dangerous expression in the capacity of an argument.
• New rule for 64-bit code analysis was added, V119: More than one sizeof() operators are used in one expression.
• New rule for parallel code analysis was added, V1211: The use of 'flush' directive has no sense for private 'XX' variable, and can reduce performance.
• Abnormal program termination of PVS-Studio at the attempt of code verification with selected Intel C++ Compiler active was corrected.
• Localized Visual Studio versions support was enhanced.
About the developer.
"Program Verification Systems" Company is engaged in the development of software in the sphere of programs source code analysis. The main directions of our work are: programs verification, static code analysis, development of open library of C/C++ code parsing and analysis, creation of tools for software testing. The activities of the company include carrying out of subcontracting works: from writing special analyzers for specific customers' tasks to participation in projects on code migration to 64-bit and multi-core systems. The company site is: http://www.viva64.com