- /
- /Wp64
- 0-9
- 64-bit (64-bit, x64)
- 64-bit error
- A
- AMD64
- AST
- Abandoned Lock
- Abstract syntactical tree
- Access Violation
- Address arithmetic
- Analysis of source code
- Array index out of bounds
- B
- Buffer overflow
- Bugs
- C
- Code review
- Coding standard
- Compiler warnings
- Copy-Paste programming
- Cppcheck
- Critical section
- Cyclomatic complexity
- D
- DWORD_PTR
- Data alignment
- Data model
- Deadlock
- Dynamic code analysis
- 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
- Infinite loop
- 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
- Preprocessed *.i file
- Preprocessing (in C/C++ language)
- R
- Race condition
- S
- Semaphore
- Sequence point
- Software quality
- Source code
- Starvation
- Static code analysis
- Static code analysis tools
- Syntactic analysis (parsing)
- T
- Thread. Parallel thread
- Traversal of the syntactical tree
- U
- UINT_PTR
- Undefined behavior
- Uninitialized variable
- Use of uninitialized memory
- V
- Variable argument functions
- VivaCore
- W
- Win32
- Win64
- WoW64
- I
- intptr_t
- P
- ptrdiff_t
- S
- size_t
- U
- uintptr_t
- W
- w64
- X
- x64
- x86
- x86-64
© 2008 - 2013, OOO "Program Verification Systems"
