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
16 Mar 2009
OpenMP and exceptions
Andrey Karpov
We continue developing our static analyzer VivaMP and now we would like to speak about diagnosing errors relating to using C++ exceptions in parallel regions. By a parallel region we understand...
...
10 Mar 2009
The final version of the code analyzer VivaMP 1.00 intended for OpenMP-program developers is released
Andrey Karpov
OOO "Program Verification Systems" Company announces release of the static code C/C++ code analyzer VivaMP 1.00. VivaMP analyzer is intended for diagnosing parallel errors in the software...
...
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
#Cpp #64bit
09 Mar 2009
Search of explicit type conversion errors in 64-bit programs
Andrey Karpov
On forums I'm constantly asked questions concerning search of incorrect explicit type conversion when porting code on a 64-bit platform. I decided to write this small note so that I could...
...
02 Mar 2009
Online checking of errors relating to using OpenMP technology and x64 architecture
Andrey Karpov
I like various code analyzers which can be tried in online mode to see if they are worth more detailed investigation. A good example is an online version of PC-lint analyzer by Gimpel...
...
27 Fév 2009
OOO "Program Verification Systems" company invites the article writers
Andrey Karpov
OOO "Program Verification Systems" company invites the article writers to visit www.viva64.com site, where they can place their articles related to testing, parallel programming, 64-bit...
...
23 Fév 2009
Peaceful coexistence of PC-Lint and VivaMP
Andrey Karpov
We are asked different questions relating to using PC-Lint, VivaMP and other static analyzers for testing parallel programs, we are asked if these tools are competitors, and there are many...
...
#Cpp #64bit
16 Fév 2009
Viva64 for optimizing data structures
Andrey Karpov
Finally I've come to implementation of diagnosis in Viva64 analyzer detecting structures with non-optimal arrangement of fields. Absence in VivaCore of support of type calculations for small...
...
09 Fév 2009
Ineffectiveness of last() in the real world
Andrey Karpov
While studying at the institute and learning different data processing algorithms, I already knew that the necessity of using such a function as last() for one-way list can indicate an...
...
04 Fév 2009
Parallel programs to multi-processor computers!
Igor Oreschenkov
The article is an introduction into parallel programs for...
...
#64bit
02 Fév 2009
Problems of 64-bit code in real programs: FreeBSD
Evgenii Ryzhkov
While telling people about problems and difficulties of developing 64-bit applications I often hear in response: "You just should write programs well and there will be no problems". What only have...
...
View more Pagination arrow previous
1
...
140 141 142 143 144
...
148
Showing: - of 1478