Skip to search formSkip to main contentSkip to account menu

PVS-Studio

PVS-Studio is a proprietary static code analyzer supporting C, C++, C++11, C++/CLI, C++/CX and C#. It is used by John Carmack.
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
C++C++/CLIC++/CXC++11

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Preparation of Conductive Poly (3,4-ethylenedioxythiophene) composited with RGO/PVS synthesized by Noncovalent interaction
2012
2012
Influence of NiCr/Au electrodes and multilayer thickness on the electrical properties of PANI/PVS ultrathin film grown by Lbl deposition
In the present work, we concentrate on the study of effects of metallic electrodes, multilayer thickness and temperature in ac… 
2008
2008
Zitadelle „virtueller Nationalstaat“: Die Europäische Union und die Politik interner Schließung europäischer Einwanderungsländer
Nach dem Amsterdamer Vertrag und dem Tampere Programm von 1999 sollte in der EU bis 2004 ein Konzept fur eine gemeinschaftliche… 
2007
2007
Development of PANI-PVS-GOD electrode by potentiometric method for determination of glucose
2006
2006
Modeling the operating conditions of solar concentrator systems
Converting energy from the sun's radiation into electrical current has been a reality for over 40 years but the efficiency… 
2005
2005
Characterisation of an amperometric immunosensor surface by scanning electron microscopy
This effective polyaniline-based amperometric immunosensor platform has been developed over several years in the NCSR at Dublin… 
Review
2002
Review
2002
Variable Depth Search 5 VARIABLE DEPTH SEARCH
This chapter provides a brief historical overview of how variabledepth-search methods have evolved in the last half a century of… 
Review
2000
Review
2000
Seed transmission of Xanthomonas campestris pvs. graminis and phlei in ryegrass and timothy.
In a survey of seed lots of ryegrass (Lolium perenne L. and L. multiflorum L.) and timothy (Phleum pratense L.) collected in… 
1999
1999
The design and analysis of real-time systems using the ASTRAL software development environment
ASTRAL is a formal specification language for real-time systems. It is intended to support formal software development and… 
1981
1981
Některé aktuální problémy varen.
O tom, do jake miry bude racionalně využito extraktu obsaženeho ve sladu, významným způsobem rozhoduje průběh varniho procesu… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)