In June 2009, our static code analyzers appeared in the catalog of Select Software reseller (http://selectindia.com), which is present at one of the world largest and dynamic software markets - that...
Not so long ago we began to think about the question of analyzing program code not only from the viewpoint of presence of 64-bit or OpenMP errors in it but from the viewpoint of its complexity for...
Since the beginning of the spring 2009 our company has been rapidly developing a new program product PVS-Studio which is a development of Viva64 and VivaMP code analyzers. Now it's high time it was...
The article describes a new direction in development of static code analyzers - verification of parallel programs. The article reviews several static analyzers which can claim to be called "Parallel...
I came across an interesting thread at RSDN forum where a specific error of rand() function use in OpenMP parallel sections is considered (http://rsdn.org/forum/cpp.applied/3400925.flat). I collect...
I experimented with Intel Parallel Inspector in memory-error diagnosis mode. I can say that I liked the product and the work it does. I was especially impressed by perfect integration into Visual...
We have been addressed several times already with the question where one can see documentation on VivaCore library. Unfortunately, I must tell you that there is no documentation on VivaCore library...
An article by OOO "Program Verification Systems" developers, "Debugging and optimization of multi-thread OpenMP-programs" has been issued by RSDN Magazine, #4 - 2008.
