Nous utilisons des cookies pour améliorer votre expérience de navigation. En savoir plus
Accepter
to the top
close form

Remplissez le formulaire ci‑dessous en 2 étapes simples :

Vos coordonnées :

Étape 1
Félicitations ! Voici votre code promo !

Type de licence souhaité :

Étape 2
Team license
Enterprise licence
* Différence entre Team et Entreprise
Vous n'avez pas reçu d'email ?
** En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité
close form
Demandez des tarifs
Pourquoi demandons-nous l'email d'entreprise ?
Nouvelle licence
Renouvellement de licence
--Sélectionnez la devise--
USD
EUR
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
La licence PVS‑Studio gratuit pour les spécialistes Microsoft MVP
Pourquoi nous demandons un email d'entreprise ?
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
Pour obtenir la licence de votre projet open source, s’il vous plait rempliez ce formulaire
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
I am interested to try it on the platforms:
Pourquoi nous demandons un email d'entreprise ?
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
check circle
Votre message a été envoyé.

Nous vous répondrons à


Si l'e-mail n'apparaît pas dans votre boîte de réception, recherchez-le dans l'un des dossiers suivants:

  • Promotion
  • Notifications
  • Spam

Webinar: Evaluation - 05.12

Registration
Accueil
>
Posts

Posts

All Articles Video Books Entertainment
Errors
09 Jui 2009
Our first practical research in the sphere of metrics calculation
Andrey Karpov
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...
...
09 Jui 2009
OOO "Program Verification Systems"'s plans on developing its own software products
Evgenii Ryzhkov
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...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
* By clicking this button you agree to our Privacy Policy statement
08 Jui 2009
Parallel Lint
Andrey Karpov
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...
...
27 Mai 2009
Use of rand() in OpenMP parallel sections
Andrey Karpov
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...
...
18 Mai 2009
The first impression of Intel Parallel Inspector
Andrey Karpov
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...
...
18 Mai 2009
VivaCore, questions on documentation
Andrey Karpov
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...
...
#Cpp #64bit
11 Mai 2009
A 64-bit horse that can count
Andrey Karpov
The article concerns the peculiarities of Visual C++ compiler's behavior when generating 64-bit code and possible errors relating to...
...
05 Mai 2009
Review of Our Products at Well-Known Reseller "SoftKey" Site
Andrey Karpov
An article about our static analyzers Viva64 and VivaMP has been published at the site of one of the largest resellers in Russia and CIS...
...
30 Avr 2009
Our Article in RSDN Magazine
Andrey Karpov
An article by OOO "Program Verification Systems" developers, "Debugging and optimization of multi-thread OpenMP-programs" has been issued by RSDN Magazine, #4 ...
...
#Cpp #Knowledge #64bit
29 Avr 2009
Change of type alignment and the consequences
Andrey Karpov
When porting software one of the task a developer faces is to change types' sizes and rules of their alignments. Not so long ago we provided support of the diagnosing rule allowing you to detect...
...
View more Pagination arrow previous
1
...
138 139 140 141 142
...
148
Showing: - of 1478