support@viva64.com Contact Us
Русский English

PVS-Studio

Static Code Analyzer for C/C++/C++11

  • Product page
  • Documentation
  • Leading in 64-bit
Download and try Buy
  • Home
  • Terminology
 

Terminology

  • /
  • /Wp64
  • 0-9
  • 64-bit (64-bit, x64)
  • 64-bit error
  • A
  • AMD64
  • AST
  • Abandoned Lock
  • Abstract syntactical tree
  • Access Violation
  • Address arithmetic
  • C
  • Coding standard
  • Critical section
  • Cyclomatic complexity
  • D
  • DWORD_PTR
  • Data alignment
  • Data model
  • Deadlock
  • E
  • EM64T
  • Explicit type conversion
  • G
  • Grammatical analysis (grammatical parse)
  • I
  • IA-64
  • IEC 61508 standard
  • ILP32
  • ILP32LL (ILP32LL64)
  • ILP64
  • INT_PTR
  • Implicit type conversion
  • Intel 64
  • L
  • LLP64
  • LP64 (I32LP64)
  • Lexical analysis
  • Lost Signal
  • M
  • MPI
  • Measuring of software quality
  • Memsize-type
  • Metaprogramming
  • Multithreading
  • Mutex
  • O
  • OOO "Program Verification Systems"
  • OpenC++
  • OpenMP
  • Operation priorities in C/C++
  • P
  • Parallel programming
  • Parse tree
  • Preprocessing (in C/C++ language)
  • R
  • Race condition
  • S
  • Semaphore
  • Sequence point
  • Starvation
  • Static code analysis
  • Syntactic analysis (parsing)
  • T
  • Thread. Parallel thread
  • Traversal of the syntactical tree
  • U
  • UINT_PTR
  • Undefined behavior
  • V
  • VivaCore
  • W
  • Win32
  • Win64
  • WoW64
  • I
  • intptr_t
  • P
  • ptrdiff_t
  • S
  • size_t
  • U
  • uintptr_t
  • W
  • w64
  • X
  • x64
  • x86
  • x86-64

For Developers:

  • All Resources
  • Our Articles
  • 64-bit Lessons
  • Knowledge Base
  • Terminology
  • Reviews
  • Blog

Blog:  

  • 16.05.2012
    Collection of interesting resources on C/C++ programming

    I constantly study the Web regarding new articles on C/C++/C++11 programming. If I find them interesting, I post links to ...

    Read more
  • 15.05.2012
    All about PVS-Studio

    PVS-Studio is a static analyzer that detects errors in source code of C/C++/C++11 applications. The PVS-Studio tool integrates into the ...

    Read more
  • 24.04.2012
    Farewell to #define private public

    The C++ language, compilers and libraries are heading yet farther towards a stricter control over what programmers write. It is ...

    Read more

Our Articles:  

  • 16.03.2012
    100 bugs in Open Source C/C++ projects

    This article demonstrates capabilities of the static code analysis methodology. The readers are offered to study the samples of one ...

    Read more
  • 14.12.2011
    How to make fewer errors at the stage of code writing. Part N4

    This is the fourth post in which I want to share with you some useful observations on error patterns and ...

    Read more
  • 25.10.2011
    PVS-Studio advertisement - static analysis of C/C++ code

    This document advertises the PVS-Studio static analyzer. It describes how using PVS-Studio reduces the number of errors in code of ...

    Read more

News:  

  • 27.10.2011
    John Carmack about PVS-Studio

    John Carmack, id Software founder and technical director, tells us about his experience of using static analyzers, including our PVS-Studio, ...

    Read more
  • 20.10.2011
    Free PVS-Studio licenses for MVPs

    Please, read about changes in trial-mode which allow using PVS-Studio without license..

    Read more
  • 12.10.2011
    Our worker Andrey Karpov has been given the MVP award

    MVP (Most Valuable Professional) is an award given by the Microsoft corporation every three months. The award is given to ...

    Read more
Our Customers
© 2008 - 2012, OOO "Program Verification Systems"
support@viva64.com Contact Us
Orphus
Home  |   About Us  |   Services  |   VivaCore  |   Contact Us  |   Sitemap