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:  

  • 01.02.2012
    How we managed the task of implementing trial mode in the PVS-Studio code analyzer

    Choosing and changing the model of trial mode is one of the most relevant and widely discussed tasks for many ...

    Read more
  • 27.01.2012
    Wade not in unknown waters. Part one

    We decided to write several small posts on how C/C++ programmers play with fire without knowing it. The first post ...

    Read more
  • 15.12.2011
    Tips on speeding up PVS-Studio

    This note is obsolete. Please read "Tips on speeding up PVS-Studio" in documentation..

    Read more

Our Articles:  

  • 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
  • 01.09.2011
    PVS-Studio: analyzing ReactOS's code

    Having checked ReactOS's code I managed to fulfill three of my wishes at once. Firstly, I had wanted for a ...

    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

    We are starting an action of providing MVPs (Microsoft Most Valuable Professional) with free three-month PVS-Studio licenses. If you are ...

    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