PVS-Studio Static Code Analyzer for 64-bit and parallel C/C++ code
Our Customers
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
02.09.2010
Feeling the new Intel Parallel Studio XE 2011 beta
So I've gotten to try the C++ compiler included into Intel Parallel Studio XE 2011 beta at last.»
So I've gotten to try the C++ compiler included into Intel Parallel Studio XE 2011 beta at last.»
30.08.2010
Five days for fixing a two-character error, or a myth of almighty technologies aiding software development
In this blog, you may often read posts about how this or that software tool or software development technology helps make fewer errors, find them faster and correct them easier.»
In this blog, you may often read posts about how this or that software tool or software development technology helps make fewer errors, find them faster and correct them easier.»
30.08.2010
d'Artagnan and Internet, or working on the problem of bad links
Friends, it is high time we stopped considering links only in the context of their number and buying/ selling and counting PR of the site they are laid out on.»
Friends, it is high time we stopped considering links only in the context of their number and buying/ selling and counting PR of the site they are laid out on.»
22.07.2010
Using PVS-Studio with continuous integration systems
This article illustrates techniques required to employ the use of PVS-Studio static code analyzer together with continuous integration systems.»
This article illustrates techniques required to employ the use of PVS-Studio static code analyzer together with continuous integration systems.»
06.07.2010
Comparing capabilities of PVS-Studio and Visual Studio 2010 in detecting defects in 64-bit programs
In the article, we will compare three mechanisms of code analysis from the viewpoint of detecting 64-bit errors: the Visual C++ 2010 compiler, the Code Analysis for C/C++ component included into Visual Studio 2010 and Viva64 analyzer included into PVS-Studio 3.60.»
In the article, we will compare three mechanisms of code analysis from the viewpoint of detecting 64-bit errors: the Visual C++ 2010 compiler, the Code Analysis for C/C++ component included into Visual Studio 2010 and Viva64 analyzer included into PVS-Studio 3.60.»
29.06.2010
A Collection of Examples of 64-bit Errors in Real Programs
This article is the most complete collection of examples of 64-bit errors in the C and C++ languages.»
This article is the most complete collection of examples of 64-bit errors in the C and C++ languages.»
Scientific Work
Conferences in which OOO "Program Verification Systems" workers participated
- Central and Eastern European Software Engineering Conference in Russia (CEE-SECR 2009), October 28-29, 2009, Moscow.
- Parallel Computing Technologies - (PaVT-2009), Mart 30 - April 3, 2009, Nizhniy Novgorod.
- Microsoft technologies in programming theory and practice, April 1-2, 2008, Moscow.
- Lomonosov - 2008: International conference of students, postgraduates and young scientists, April 7-11, 2008, Moscow.
- International youth scientific conference "XXXIV Gagarinskie chteniya", April 1-5, 2008, Moscow.
- All-Russian student contest "Contest of computer programs", May 22-23, 2008, Vologda.
- Mathematical methods in technique and technologies - MMTT-21, May 27-31, 2008, Saratov.
- SOFTWARE ENGINEERING CONFERENCE (RUSSIA), November 1-2, 2007, Moscow.
Seminars in which OOO "Program Verification Systems" workers participated
- Seminar in Moscow State University Research Computing Centre, Moscow, March 23, 2009.
- Seminar in Institute for System Programming of Russian Academy of Science, Moscow, June 7, 2008.
- Seminar in Computing Centrenamed after A.A.Dorodnitsin of Russian Academy of Sciences, Moscow,May 15,2008.
- Seminar in Tula State University, Tula, March 29, 2007.
OOO "Program Verification Systems" workers' publications
- Karpov A.N., Kolosov A.P., Ryzhkov E.A.. VivaMP, a system for error detection in source code of OpenMP programs. Parallel Computing Technologies (PaVT'2009): In proc. (Mart 30 - April 3, 2009, Nizhniy Novgorod). - Chelyabinsk: SUrSU, 2009. - 839 pp.
- Andrey Karpov, Evgeniy Romanovsky. Debugging and optimization of multi-thread OpenMP-programs. RSDN Magazine #4-2008, P. 32 - 40.
- A.P. Kolosov, E.A. Ryzhkov. Using Static Analysis in Program Development. Izvestiya TulGU. Tehnicheskie Nauki. Iss.3. - Tula: TulGU, 2008. - 267 pp. P. 185 - 190.
- E.A. Ryzhkov, O.S. Seredin. Adaptation of the technology of the static code analyzer for developing parallel programs. Izvestiya TulGU. Tehnicheskie Nauki. Iss.3. - Tula: TulGU, 2008. - 267 pp. P. 191 - 196.
- E. A. Ryzhkov, A.N. Karpov. Approaches to verification and testing of 64-applications. "Informatsionnie tehnologii" N7, 2008, P. 41 - 45.
- Andrey Karpov, Evgeniy Ryzhkov. 20 issues of porting C++ code on the 64-bit platform. RSDN Magazine #1-2007. P. 65 - 75.
- Evgeniy Ryzhkov, Andrey Karpov. VivaCore code analysis library. RSDN Magazine #1-2008. P. 56 - 63.
- Alexey Kolosov, Evgeniy Ryzhkov, Andrey Karpov. 32 OpenMP traps for C++ developers. RSDN Magazine #2-2008. P. 3 - 17.
- Ryzhkov E.A., Kolosov A.P. Automatic error detection system for 64-bit software development (Viva64). Microsoft technologies in programming theory and practice, 2008. ISBN 978-5-9502-0354-1.P. 57-58.
- Kolosov A.P., Ryzhkov E.A.. VIVA64, a system for error detection while software porting to 64-bit platforms.In proc. ofLomonosov - 2008: International conference of students, postgraduates and young scientists, 2008. - 96 pp. P. 43 - 44.
- Kolosov A.P., Ryzhkov E.A.. Viva64, a system for error detection while software porting to 64-bit platforms. In Proc. of International youth scientific conference "XXXIV Gagarinskie chteniya", 2008. - 184 pp, P. 37-38.
- Kolosov A.P., Ryzhkov E.A.. Automatic error detection system for 64-bit software development (Viva64). In Proc. of contest "Contest of computer programs", 2008. (in print).
- Ryzhkov E.A., Karpov A.N. Adaptation of the technology of the static code analyzer for modern software development process. //In Proc."Software Engineering Conference (Russia) 2007 - SEC(R)-2007", 2007, Moscow, c. 240-245.
- Karpov A. N. Data visualization with help parallel computing systems. // 15 International Conference GRAPHICON, June 20-24, 2005, Novosibirsk.
© 2008 - 2010, OOO "Program Verification Systems"
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
