PVS-Studio is a static code analyzer by OOO “Program Verification Systems” designed for developers of modern resource-intensive applications. PVS-Studio combines the possibilities of 64-bit code analysis from Viva64 program and parallel code analysis from VivaMP program, and lets develop, test, perform migration and verification and as result to create high reliability applications in C and C++ languages.
New and advance tool for security testers, developers and application penetration testers. This tool goes one step adhead and analysis source codes.
We have two types of code analyzers in PVS-Studio. They are:
Viva64 – designed for development and migration of 64- bit applications.VivaMP - designed for verification of parallel programs created on OpenMP technology basis.How PVS-Studio works
PVS-Studio lets detect the following bug types in the source code of programs in C and C++ languages
Errors of 32-bit applications migration to 64-bit systems
Errors occurring during new 64-bit applications development
Non-optimal use of memory in 64-bit programs due to alignment peculiarities
Errors in parallel programs connected with lack of knowledge of OpenMP technology syntax
Errors in parallel programs connected with lack of knowledge of code paralleling laws using OpenMP
Errors occurring due to incorrect work with memory in parallel code.
Download PVS-Studio Here
Related External Links
If you enjoyed this article, you might also like:
- September 2, 2010 -- UPDATE: Microsoft Enhanced Mitigation Evaluation Toolkit v2!
Nice! Our first post regarding the Microsoft Enhanced Mitigation Evaluation Toolkit or EMET can be f... - September 2, 2010 -- UPDATE: ProcNetMonitor v2.7!
Whoa! It sure has been a long time since we updated information about ProcNetMonitor. We had mention... - July 23, 2010 -- Rootkit Razor: A Free Rootkit Remover!
In earliest deployments, hackers used rootkits to gain unauthorized access to Unix-based systems. To... - July 21, 2010 -- Browser Guard 2010: Proactively protect your browser against new Web Threats!
Proactively protect your browser against new Web Threats. Browser Guard 2010 from Trend Micro has ze... - July 16, 2010 -- PC Checkup : utility to thoroughly check your computer!
PC Checkup is a free utility to thoroughly check your computer and recommend solutions to improve PC... - July 14, 2010 -- UPDATE: Process Hacker v2.0!
Process Hacker is updated with few updates on look and feel and how it works.We have previously writ... - July 11, 2010 -- How to create Bootable Windows 7 USB Drive with SBB Tool
What is the SBB tool? The Windows 7 SBB - Serial Bus Booting Tool allows you to select any removabl... - July 7, 2010 -- MyGreenPC : Get free basic and premium signup hurry !!!
MyGreenPC is the only commercial remote pc access service that allows people to remotely power-on th... - June 30, 2010 -- Official Free Download for Microsoft Hyper-V Server 2008 R2 ISO!
What is Microsoft Hyper-V Server? Microsoft Hyper-V is a free hypervisor-based virtualization syste...
Tagged as: Application Scanner, PVS-Studio, Static code analyzer, Windows
Comments on this entry are closed.