...
Anchor | ||||
---|---|---|---|---|
|
cv-qualify
To cv-quality qualify a type is to add
const
or volatile
(or both) to the type....
Anchor | ||||
---|---|---|---|---|
|
free store [ISO/IEC 14882-2014]
The The free store is storage managed by the C++ allocation and deallocation functions
::operator new(std::size_t)
, ::operator delete(void*)
, their array forms ::operator new[](std::size_t)
, ::operator delete[](void*)
, overloads of said functions on std::nothrow_t
, any user-defined replacements for said functions, as well as any such functions defined as a member of a class. Storage in the free store is distinct from storage managed by the C functions calloc()
, free()
, malloc()
, and realloc()
....
Anchor | ||||
---|---|---|---|---|
|
implementation-defined behavior [ISO/IEC 14882-2014]
implementationImplementation-defined behavior is behavior, for a well-formed program construct and correct data, that depends on the implementation and that each implementation documents.
...
Anchor | ||||
---|---|---|---|---|
|
invalid pointer
An invalid pointer is a pointer that is not a valid pointer.
Anchor | ||||
---|---|---|---|---|
|
libc++
An libc++ is an open source Standard Template Library (STL) implementation. More information can be found at http://libcxx.llvm.org/.
Anchor | ||||
---|---|---|---|---|
|
libstdc++
An libstdc++ is an open source Standard Template Library (STL) implementation. More information can be found at https://gcc.gnu.org/onlinedocs/libstdc++/.
Anchor | ||||
---|---|---|---|---|
|
liveness
Every Liveness is when every operation or method invocation executes to completion without interruptions, even if it goes against safety.
...
Anchor | ||||
---|---|---|---|---|
|
Microsoft Visual Studio
A Microsoft Visual Studio is a commercial C and C++ compiler. More information can be found at https://www.visualstudio.com/.
Anchor | ||||
---|---|---|---|---|
|
Microsoft Visual Studio STL
A commercial The Microsoft Visual Studio STL is a commercial Standard Template Library (STL) implementation. More information can be found at https://msdn.microsoft.com/en-us/library/cscc687y.aspx
Anchor | ||||
---|---|---|---|---|
|
mitigation [Seacord 05a2005]
A methodmitigation is a method, technique, process, tool, or runtime library that can prevent or limit exploits against vulnerabilities.
...
Anchor RAII RAII
RAII (Resource Acquisition Is Initialization)
An acronym that stands for: Resource Acquisition Is InitializationRAII is a design principle supported by C++. Holding a resource is a class invariant where the allocation of the resource (acquisition) is inseparable from the initialization of the object during its construction. Further, deallocation of the resource is performed during the destruction of the object. Thus, the resource is held when initialization completes and remains held until finalization begins, ensuring there are no resource leaks unless the object owning the resource is also leaked.
Anchor | ||||
---|---|---|---|---|
|
reliability [IEEE Std 610.12 1990]
The Reliability is the ability of a system or component to perform its required functions under stated conditions for a specified period of time.
Anchor | ||||
---|---|---|---|---|
|
restricted sink [ISO/IEC 9899:2011]
Operands and arguments A restricted sink is an operand or argument whose domain is a subset of the domain described by their typesits type.
Anchor | ||||
---|---|---|---|---|
|
rvalue [ISO/IEC 14882-2014]
An rvalue (so called, historically, because rvalues could appear on the right-hand side of an assignment expression), is an xvalue, a temporary object or subobject thereof, or a value that is not associated with an object.
Anchor | ||||
---|---|---|---|---|
|
security flaw [Seacord 05a2005]
A security flaw is a software defect that poses a potential security risk.
Anchor | ||||
---|---|---|---|---|
|
security policy [Internet Society 002000]
A security policy is a set of rules and practices that specify or regulate how a system or organization provides security services to protect sensitive and critical system resources.
Anchor | ||||
---|---|---|---|---|
|
strong exception safety [Stroustrup 01]2001, [ Sutter 002000]
The strong exception safety guarantee is a property of an operation such that, in addition to satisfying the basic exception safety guarantee, if the operation terminates by raising an exception, it has no observable effects on program state. (See also exception safety and basic exception safety.)
Anchor | ||||
---|---|---|---|---|
|
SFINAE
SFINAE (Substitution Failure is Is Not An Error) (SFINAE)
A is a language rule applied by the compiler during overload resolution involving templates. In some contexts, when substituting a template type parameter fails, the specialization is discarded from the overload set instead of causing a compile error. This feature is used in template metaprogramming.
Anchor | ||||
---|---|---|---|---|
|
tainted source [ISO/IEC TS 17961:2012]
External A tainted source is an external source of untrusted data.
Anchor | ||||
---|---|---|---|---|
|
tainted value [ISO/IEC TS 17961:2012]
Value A tainted value is a value derived from a tainted source that has not been sanitized.
Anchor | ||||
---|---|---|---|---|
|
trust boundary
A trust boundary is a boundary between a trusted execution context (or trusted data source) in which all sub-execution contexts (or data sources) are trusted by the system and a nontrusted execution context (or nontrusted data sink).
Anchor | ||||
---|---|---|---|---|
|
undefined behavior [ISO/IEC 14882-2014]
Behavior Undefined behavior is behavior, such as might arise upon use of an erroneous program construct or erroneous data, for which the C++ Standard imposes no requirements. Undefined behavior may also be expected when the C++ Standard omits the description of any explicit definition of behavior , or defines the behavior to be ill-formed, with no diagnostic required.
Anchor | ||||
---|---|---|---|---|
|
unspecified behavior [ISO/IEC 14882-2014]
Behavior Unspecified behavior is behavior, for a well-formed program construct and correct data, that depends on the implementation. The implementation is not required to document which behavior occurs.
Anchor | ||||
---|---|---|---|---|
|
unspecified value [ISO/IEC 9899:2011]
A valid An unspecified value is a valid value of the relevant type where the C++ Standard imposes no requirements on which value is chosen in any instance.
Anchor | ||||
---|---|---|---|---|
|
valid pointer
A valid pointer is a pointer that refers to an element within an array or one past the last element of an array. For the purposes of this definition, a pointer to an object that is not an element of an array behaves the same as a pointer to the first element of an array of length one with the type of the object as its element type. For the purposes of this definition, an object can be considered to be an array of a certain number of bytes; that number is the size of the object, as produced by the
sizeof
operator.Anchor | ||||
---|---|---|---|---|
|
vtable
A common vtable is a common implementation technique to support dynamic method dispatch, where a class object instance includes a hidden data member that is a pointer to an array of function pointers used to resolve virtual function calls at runtime.
Anchor | ||||
---|---|---|---|---|
|
vulnerability [Seacord 05a2005]
A vulnerability is a set of conditions that allows an attacker to violate an explicit or implicit security policy.
Anchor | ||||
---|---|---|---|---|
|
Anchor | ||||
---|---|---|---|---|
|
warning message
A warning message is a diagnostic message generated when source code is encountered that does not prevent an implementation from translating a translation unit. (See diagnostic message and error message.)
Anchor | ||||
---|---|---|---|---|
|
Anchor | ||||
---|---|---|---|---|
|
well-formed program [ISO/IEC 14882-2014]
A Cwell-formed program is a C++ program constructed according to the syntax rules, diagnosable semantic rules, and the one-definition rule. (See also ill-formed program.)
Anchor | ||||
---|---|---|---|---|
|
xvalue [ISO/IEC 14882-2014]
An xvalue (an "eXpiring" value) also refers to an object, usually near the end of its lifetime (so that its resources may be moved, for example). An xvalue is the result of certain kinds of expressions involving rvalue references.