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
15 Mai 2008
In CC RAS a seminar took place in which our specialists participated
Andrey Karpov
In Computing Centre named after A.A.Dorodnitsin of Russian Academy of Sciences, situated 40 Vavilova str., Moscow, a seminar devoted to the questions of static code analysis took...
...
13 Mai 2008
Building of systems of automatic C/C++ code logging
Andrey Karpov
Sometimes logging of an application's events is the only debugging method. The logging method's disadvantage is the large size of the code which you have to write manually to save the whole...
...
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
20 Avr 2008
VivaCore - Quick Start
Andrey Karpov, Evgenii Ryzhkov
The document familiarizes developers with VivaCore library giving general information about the library, the scope of use, license agreements. It describes also the process of the...
...
#Cpp #64bit
15 Avr 2008
64 bits, Wp64, Visual Studio 2008, Viva64 and all the rest...
Andrey Karpov
The purpose of this article is to answer some questions related to safe port of C/C++ code on 64-bit systems. The article is written as an answer to the topic often discussed on forums and related...
...
04 Avr 2008
Advantages of Viva64
Andrey Karpov, Evgenii Ryzhkov
The purpose of this commercial article is to show advantages of Viva64 tool throughout the life cycle of software...
...
01 Avr 2008
Announcing VivaCore 1.0
Andrey Karpov
While investigating the sphere of static analysis and working at the creation of the Viva64 tool OOO "Program Verification Systems" company came to a conclusion that the most part of the...
...
21 Mar 2008
Viva64.com Team has become OOO "Program Verification Systems"
Andrey Karpov
We inform that Viva64.com Team - the creator of the code analyzer Viva64 and the library of source code analysis VivaCore - was transformed into OOO "Program Verification...
...
16 Fév 2008
Adaptation of the technology of the static code analyzer for developing parallel programs
Andrey Karpov, Evgenii Ryzhkov
In the article the question of use of the static code analyzers in modern parallel program development processes is considered. Having appeared in 70-80s as an addition to compilers, the...
...
10 Fév 2008
Development of resource-intensive applications in Visual C++
Andrey Karpov, Evgenii Ryzhkov
The article will familiarize application developers with tasks given them by the mass introduction of 64-bit multi-core processors symbolizing revolutionary increase of computing power available...
...
31 Jan 2008
Using Static Analysis in Program Development
Alexey Kolosov
Static analysis allows checking program code before the tested program is executed. The static analysis process consists of three steps. First, the analyzed program code is split into tokens...
...
View more Pagination arrow previous
1
...
144 145 146 147 148
Showing: - of 1477