All Articles Tagged PVS-Studio
| Link/Url | Tags |
|---|---|
| PVS-Studio VS IPP Samples - part 3[Forums] I cannot get rid of the urge to sell a PVS-Studio license to the developer team of Intel Performance Primitives Library :-). Of course, I'd like to have some sales in other Intel departments too,... Posted: 2012-04-19 01:00:02 | bugs, cplusplus, IPP Sample, PVS-Studio |
| 90 errors in open-source projects[Knowledgebase] Abstract There are actually 91 errors described in the article, but number 90 looks nicer in the title. The article is intended for C/C++ programmers, but developers working with other languages may also... Posted: 2011-10-22 23:00:00 by Andrey Karpov | bugs, C++, code review, cpp, errors, open source, PVS-Studio, Security Community, static code analyzer |
| How to make fewer errors at the stage of code writing. Part N3.[Knowledgebase] Abstract This is the third article where I will tell you about a couple of new programming methods that can help you make your code simpler and safer. You may read the previous two posts here [1] and... Posted: 2011-07-11 00:00:00 by Andrey Karpov | Andrey Karpov, C++, code review, cpp, Parallel Programming, PVS-Studio, QT, static code analyzer |
| Intel IPP Samples for Windows - error correction[Knowledgebase] This is one of my posts on how PVS-Studio makes programs safer. That is where and what types of errors it detects. This time it is samples demonstrating handling of the IPP 7.0 library (Intel Performance... Posted: 2011-01-31 00:00:00 by Andrey Karpov | c plus plus, C++, code review, errors, IPP, PVS-Studio, Static code analysis, static code analyzer |
| Consequences of using the Copy-Paste method in C++ programming and how to deal with it[Knowledgebase] I create the PVS-Studio analyzer detecting errors in source code of C/C++/C++0x software. So I have to review a large amount of source code of various applications where we detected suspicious code fragments... Posted: 2011-01-23 13:00:00 by Andrey Karpov | C++, code review, copy-paste, error, PVS-Studio |
| Let the world tremble! We've released PVS-Studio 4.00 with a free general-purpose analyzer![Knowledgebase] Programmers, meet a new tool to search for errors in source code of software written in C/C++. Within the scope of the PVS-Studio analyzer, we implemented a new set of general-purpose rules. This functionality... Posted: 2010-12-06 10:00:00 by Andrey Karpov | c plus plus, PVS-Studio, Static code analysis, tortoisesvn |
| Static analysis: errors in media player and bugless ICQ[Knowledgebase] I'd like to continue our excursion of software errors and demonstration of static code analysis' utility. This is my latest text about the PVS-Studio version which is not available for download yet. I... Posted: 2010-11-18 00:00:00 by Andrey Karpov | C++, PVS-Studio, Static code analysis |
| Difference of code analysis approaches in compilers and specialized tools[Knowledgebase] Compilers and third-party static code analyzers have one common task: to detect dangerous code fragments. However, there is a great difference in the types of analysis performed by each kind of these tools.... Posted: 2010-10-31 10:00:00 by Andrey Karpov | C++, code review, errors, Intel C++, PVS-Studio, Static code analysis |
| Static analysis of source code by the example of WinMerge[Knowledgebase] The today's post is devoted to the question why tools of static source code analysis are helpful regardless of programmer's knowledge and skill. I will demonstrate the benefit of static analysis by the... Posted: 2010-10-31 21:00:00 by Andrey Karpov | C++, errors, PVS-Studio, Static code analysis |
| A Collection of Examples of 64-bit Errors in Real Programs[Knowledgebase] Abstract This article is the most complete collection of examples of 64-bit errors in the C and C++ languages. The article is intended for Windows-application developers who use Visual C++, however, it... Posted: 2010-09-07 10:00:00 by Andrey Karpov | 64-bit, C++, errors, Intel 64, Porting, PVS-Studio, Win64, x86-64 |
| Best notes from OOO "Program Verification Systems" company's blog on parallel and 64-bit software development[Knowledgebase] Abstract Introduction Interesting examples of 64-bit errors The essence of 64-bit errors Loki 64 bits is a business of far future Description of diagnosis for some 64-bit errors ... Posted: 2010-05-03 10:00:00 by Andrey Karpov | 64-bit, 64-bit Coding, blog, blogging, OpenMP, PVS-Studio |
| Changes in programmer tools' infrastructure[Knowledgebase] Abstract Introduction Automated testing Code editor Static analysis Dynamic analysis Summary Abstract The article describes some observations concerning changes in the... Posted: 2010-04-26 10:00:00 by Andrey Karpov | Developement Tools, Intel Parallel Studio, Microsoft Visual Studio, Microsoft Visual Studio 2010, PVS-Studio, tools |
| Static analyzer for modern C++ 64-bit resource-intensive applications[Forums] Meet a new version of our static code analyzer PVS-Studio 3.50. PVS-Studio is a tool intended for analyzing the source code of C/C++ applications which integrates into the Visual Studio development environment.... Posted: 2010-03-25 14:20:04 | 64-bit, 64-bit Coding, OpenMP, PVS-Studio, Viva64 |
| An unsuccessful attempt to compare PVS-Studio (VivaMP) and Intel C/C++ ("Parallel Lint")[Knowledgebase] Andrey KarpovOOO "Program Verification Systems" September 2009 Abstract Brief reference information Introduction Preparation to testing ParallelSample with Intel C++ "Parallel Lint" Analysis... Posted: 2009-10-07 13:00:00 by Andrey Karpov | C++, Intel C++ Compiler, OpenMP, parallel lint, Parallel Programming, PVS-Studio, VivaMP |