Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="dcb23f1eb93ac597-b4716981-47c442ab-b9929977-6be5e2678b1f23687a3a6479"><ac:parameter ac:name=""> asynchronous-safe</ac:parameter></ac:structured-macro>
*asynchronous-safe* \[[GNU Pth|AA. C++ References#GNU Pth]\]
A function is asynchronous-safe, or asynchronous-signal safe, if it can be called safely and without side effects from within a signal handler context. That is, it must be able to be interrupted at any point and run linearly out of sequence without causing an inconsistent state. It must also function properly when global data might itself be in an inconsistent state. Some asynchronous-safe operations are listed here: |
...
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="c51906ddfc2d2d63-79f9e204-44604b02-a972b7ef-174f5613c279c5fd741582ae"><ac:parameter ac:name=""> availability</ac:parameter></ac:structured-macro>
*availability* \[[IEEE Std 610.12 1990|AA. C++ References#IEEE Std 610.12 1990]\]
The degree to which a system or component is operational and accessible when required for use. Often expressed as a probability. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="ddf4d31c6e784c91-2487f99d-46be4357-a11ea6c0-d42f1a07c743335f12d29ced"><ac:parameter ac:name=""> basic exception safety</ac:parameter></ac:structured-macro>
*basic exception safety* \[[Stroustrup 01|AA. C++ References#Stroustrup 01]\], \[[Sutter 00|AA. C++ References#Sutter 00]\]
The basic exception safety guarantee is a property of an operation such that, if the operation terminates by raising an exception, it preserves program state invariants and prevents resource leaks. See also: [exception safety|BB. Definitions#exception safety], [strong exception safety|BB. Definitions#strong exception safety], [no-throw guarantee|BB. Definitions#no-throw guarantee]. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="26ac16ec8b2a2275-46580663-43944505-aee4933f-82ea9c97926ac9584ce9e09e"><ac:parameter ac:name=""> conforming program</ac:parameter></ac:structured-macro>
*conforming* \[[ISO/IEC 9899-1999|AA. C++ References#ISO/IEC 9899-1999]\]
Conforming programs may depend upon nonportable features of a conforming implementation. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="6814c8c76b642881-02fb54dc-4c5e48af-aa0aa53c-2fc8de871e2702ec35a15ffb"><ac:parameter ac:name=""> data race</ac:parameter></ac:structured-macro>
*data race* \[ISO/IEC Document Number N3000 -- Working Draft, Standard for Programming Language C++, November 2009\]
The execution of a program contains a data race if it contains two conflicting actions in different threads, at least one of which is not atomic, and neither happens before the other. Any such data race results in undefined behavior. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="7a15f85b78671b96-0c8f2487-4f694ce7-ad6b82e1-ea6850fff26186f5b0918f0c"><ac:parameter ac:name=""> error tolerance</ac:parameter></ac:structured-macro>
*error tolerance* \[[IEEE Std 610.12 1990|AA. C++ References#IEEE Std 610.12 1990]\]
The ability of a system or component to continue normal operation despite the presence of erroneous inputs. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="063fc727609c0c6f-091c5583-472f4abc-a29a9a61-162bf742b562cbff5321c2fe"><ac:parameter ac:name=""> exception safety</ac:parameter></ac:structured-macro>
*exception safety* \[[Stroustrup 01|AA. C++ References#Stroustrup 01]\]
An operation on an object is said to be exception safe if that operation leaves the object in a valid state when the operation is terminated by throwing an exception. See also: [basic exception safety|BB. Definitions#basic exception safety], [strong exception safety|BB. Definitions#strong exception safety], [no-throw guarantee|BB. Definitions#no-throw guarantee]. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="714d5c49443ebacb-9f1acff0-486b4f9f-980da162-5429557bf56137408f4034e1"><ac:parameter ac:name=""> exploit</ac:parameter></ac:structured-macro>
*exploit* \[[Seacord 05a|AA. C++ References#Seacord 05]\]
An exploit is a piece of software or technique that takes advantage of a security vulnerability to violate an explicit or implicit [security policy|BB. Definitions#security policy]. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="ced14de5521eed8c-e610795c-47354563-a269a3d1-e385d3d2ccd96282bdcf750c"><ac:parameter ac:name=""> fail safe</ac:parameter></ac:structured-macro>
*fail safe* \[[IEEE Std 610.12 1990|AA. C++ References#IEEE Std 610.12 1990]\]
Pertaining to a system or component that automatically places itself in a safe operating mode in the event of a failure; for example, a traffic light that reverts to blinking red in all directions when normal operation fails. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="65b3807c40dd1204-a878da51-47994d94-a46f8f47-8774075311ed86200ce1d03c"><ac:parameter ac:name=""> fail soft</ac:parameter></ac:structured-macro>
*fail soft* \[[IEEE Std 610.12 1990|AA. C++ References#IEEE Std 610.12 1990]\]
Pertaining to a system or component that continues to provide partial operational capability in the event of certain failures; for example, a traffic light that continues to alternate between red and green if the yellow light fails. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="9916ebfffd56e2f5-f01cfac3-45154cd8-aa71a2b5-bf365c6588611b5657cd672a"><ac:parameter ac:name=""> fault tolerance</ac:parameter></ac:structured-macro>
*fault tolerance* \[[IEEE Std 610.12 1990|AA. C++ References#IEEE Std 610.12 1990]\]
The ability of a system or component to continue normal operation despite the presence of hardware or software faults. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="4e2bc414c79cb51e-bd28ea39-48a94c4f-b6549aa6-0694eb8643f0e3bbe9d19b4f"><ac:parameter ac:name=""> free store</ac:parameter></ac:structured-macro>
*free store* \[[ISO/IEC 14882-2003| AA. C++ References#ISO/IEC 14882-2003]\]
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}}. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="a520a58243639814-2fc443e7-4c864ecb-b0099501-b1b2b8bf52b4bdcbc162ac23"><ac:parameter ac:name=""> freestanding environment</ac:parameter></ac:structured-macro>
*freestanding environment* \[[<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="220ff4e4-cc0f-4600-9ac7-65ab00c1bee3"><ac:parameter ac:name=""> freestanding implementation</ac:parameter></ac:structured-macro>
*freestanding implementation* \[[ISO/IEC 989914882-19992003| AA. C++ References#ISO/IEC 989914882-19992003]\]
An environmentA freestanding implementation is one in which C program execution may take place without anythe benefit of an operating system. Program startup might occur at some function other than {{main()}}, complex types might not be implemented, and only certain minimal library facilities are guaranteed to be available, and has an implementation-defined set of libraries that includes certain language-support libraries. Also referred to as _freestanding environment_. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="b3a7e359dbef46e7-f52fdb8a-49a5471e-8df0979d-7141fcfb21d76099d6dd5d2e"><ac:parameter ac:name=""> hosted environment</ac:parameter></ac:structured-macro>
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="366e054b-dd18-4e25-b832-825b07cfc616"><ac:parameter ac:name=""> hosted implementation</ac:parameter></ac:structured-macro>
*hosted environmentimplementation* \[[ISO/IEC 989914882-19992003| AA. C++ References#ISO/IEC 989914882-19992003]\]
An environmentimplementation that is not freestanding. Program startup occurs at {{main()}}, complex types are implemented, and all C++ standard library facilities are available. Also referred to as _hosted environment_. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="613bd1aee40f07be-57b7ad22-4fdd4ea0-bbb9b6be-bf8fcf1c35120ebfa1087a03"><ac:parameter ac:name=""> implementation</ac:parameter></ac:structured-macro>
*implementation* \[[ISO/IEC 9899-1999|AA. C++ References#ISO/IEC 9899-1999]\]
Particular set of software, running in a particular translation environment under particular control options, that performs translation of programs for, and supports execution of functions in, a particular execution environment. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="19b165239aaa87e2-3c8d5da4-46ec4773-906081db-d1b22f69fda4893903b8f828"><ac:parameter ac:name=""> implementation-defined behavior</ac:parameter></ac:structured-macro>
*implementation-defined behavior* \[[ISO/IEC 989914882-19992003|AA. C++ References#ISO/IEC 989914882-19992003]\]
Unspecified behavior where each implementation documents how the choice is madeBehavior, for a well-formed program construct and correct data, that depends on the implementation and that each implementation shall document. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="ab2cf0c254fe70a1-2823590b-42e54e7e-aac381bf-8e7f4d5ebe9474869c7cc9c7"><ac:parameter ac:name=""> incomplete type</ac:parameter></ac:structured-macro>
*incomplete type* \[[ISO/IEC 989914882-19992003| AA. C++ References#ISO/IEC 989914882-19992003]\]
An incomplete type is a A type that describes an identifierobjects but lacks information needed to determine the size of the identifiertheir sizes. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="3eb60ad8d8230fc2-2ebcb670-4c9e4466-9ae3bf86-fe271abb8ce414faa857023b"><ac:parameter ac:name=""> locale-specificindeterminate behavior<value</ac:parameter></ac:structured-macro>
*locale-specificindeterminate behaviorvalue* \[[ISO/IEC 9899-1999|AA. C++ References#ISO/IEC 9899-1999]\]
BehaviorEither thatan depends[#unspecified onvalue] localor conventionsa of nationality, culture, and language that each implementation documents[#trap representation]. |
Anchor |
---|
| invalid pointer |
---|
| invalid pointer |
---|
|
invalid pointer A pointer that is not a #valid pointer. Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="d5da3e29c94df58f-1cc9833c-44c14c3c-84979ed0-c79bac682ab81c39163c3eeb"><ac:parameter ac:name=""> locale-specific lvalue<behavior</ac:parameter></ac:structured-macro>
*lvaluelocale-specific behavior* \[[ISO/IEC 989914882-19992003| AA. C++ References#ISO/IEC 989914882-19992003]\]
AnBehavior lvaluethat isdepends anon expressionlocal withconventions anof objectnationality, typeculture, orand anlanguage incompletethat typeeach other than {{void}}. The name "lvalue" comes originally from the assignment expression {{E1 = E2}}, in which the left operand {{E1}} is required to be a (modifiable) lvalue. It is perhaps better considered as representing an object "locator value".implementation documents. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="df2f2636-0e66-4cff-941b-cde031ff4652"><ac:parameter |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="b3e2faff-9573-41dc-8a1f-847e04e68c28"><ac:parameter ac:name=""> mitigation<> lvalue</ac:parameter></ac:structured-macro>
*mitigationlvalue* \[[Seacord 05aISO/IEC 9899-1999|AA. C++ References#Seacord 05References#ISO/IEC 9899-1999]\]
MitigationsAn arelvalue methods,is techniques,an processes,expression tools,with oran runtimeobject librariestype thator canan preventincomplete ortype limitother exploits against vulnerabilities. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="452e2eba-7519-4092-bc82-c205151d719a"><ac:parameter ac:name=""> no-throw guarantee</ac:parameter></ac:structured-macro>
*no-throw guarantee* \[[Sutter 00|AA. C++ References#Sutter 00]\]
The no-throw guarantee is a property of an operation such that it is guaranteed to complete successfully without raising or propagating an exception. See also: [exception safety|BB. Definitions#exception safety], [basic exception safety|BB. Definitions#basic exception safety], [strong exception safety|BB. Definitions#strong exception safety]than {{void}}. The name "lvalue" comes originally from the assignment expression {{E1 = E2}}, in which the left operand {{E1}} is required to be a (modifiable) lvalue. It is perhaps better considered as representing an object "locator value". |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="3a9dc4ff8e40e43a-4bd047ea-46df4ae4-a8bb98a0-07da10c98accff58fc2a1df1"><ac:parameter ac:name=""> reentrant<mitigation</ac:parameter></ac:structured-macro>
*reentrantmitigation* \[[DowdSeacord 0605a|AA. C++ References#DowdReferences#Seacord 0605]\]
AMitigations functionare ismethods, reentranttechniques, ifprocesses, multipletools, instancesor ofruntime thelibraries samethat function can runprevent inor thelimit sameexploits address space concurrently without creating the potential for inconsistent statesagainst vulnerabilities. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="cf942316be28539b-445be0de-49024b21-8aa8b8e6-dab49e75ebc8e898d6250914"><ac:parameter ac:name=""> reliability<no-throw guarantee</ac:parameter></ac:structured-macro>
*reliability* no-throw guarantee* \[[IEEE Std 610.12 1990Sutter 00|AA. C++ References#IEEE Std 610.12 1990References#Sutter 00]\]
The ability ofno-throw guarantee is a systemproperty of oran componentoperation tosuch performthat itsit requiredis functionsguaranteed underto statedcomplete conditionssuccessfully forwithout araising specifiedor periodpropagating ofan time. |
Wiki Markup |
---|
exception. See also: [exception safety|BB. Definitions#exception safety], [basic exception safety|BB. Definitions#basic exception safety], [strong exception safety|BB. Definitions#strong exception safety]. |
Wiki Markup |
---|
<ac:structured-macro <ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="b154ce9b6f9ef8ff-2f979b23-45a140b7-ba5eb5db-bb0bb483d936289d1b1709db"><ac:parameter ac:name="">>one definition robustness<rule</ac:parameter></ac:structured-macro>
*robustness* \[[IEEE Std 610.12 1990|AA. C References#IEEE Std 610.12 1990]\]
The degree to which a system or component can function correctly in the presence of invalid inputs or stressful environmental conditions. |
Wiki Markup |
---|
<ac:structured<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="085a36d15fd83a28-048c48b9-4da44be7-91889b65-ba9f3542fc872c9bb6955e49"><ac:parameter ac:name=""> rvalue<>odr</ac:parameter></ac:structured-macro>
*rvalueone definition rule (ODR)* \[[ISO/IEC 989914882-19992003| AA. C++ References#ISO/IEC 989914882-19992003]\]
Value of an expression. |
Wiki Markup |
---|
A fundamental C++ rule that states that no translation unit shall contain more than one definition of any variable, function, class type, enumeration type or template. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="b410194a-9122-4ab4-958e-85756b264317<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="370245f0-a6f9-412e-9623-f541078977db"><ac:parameter ac:name=""> security flaw<reentrant</ac:parameter></ac:structured-macro>
*security flawreentrant* \[[SeacordDowd 05a06|AA. C++ References#SeacordReferences#Dowd 0506]\]
A security flaw is a software defect that poses a potential security risk function is reentrant if multiple instances of the same function can run in the same address space concurrently without creating the potential for inconsistent states. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="f8b10c86107a75af-b06a748c-42e6412d-86a19ac0-c9f4697607eb6af6b2ce6048"><ac:parameter ac:name=""> security policy<reliability</ac:parameter></ac:structured-macro>
*security policyreliability* \[[Internet Society 00IEEE Std 610.12 1990|AA. C++ References#Internet Society 00References#IEEE Std 610.12 1990]\]
AThe setability of rulesa and practices that specify system or regulatecomponent howto aperform systemits orrequired organizationfunctions providesunder securitystated servicesconditions tofor protecta sensitivespecified andperiod criticalof system resourcestime. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="aa05ee336f6168be-da055d98-44e8450d-a2d9b49b-71704002e476abddecfb4d82"><ac:parameter ac:name=""> sequence point<robustness</ac:parameter></ac:structured-macro>
*sequence pointrobustness* C99 \[[ISO/IEC 9899-1999IEEE Std 610.12 1990|AA. C References#ISO/IEC 9899-1999++ References#IEEE Std 610.12 1990]\]
EvaluationThe ofdegree anto expressionwhich maya producesystem sideor effects.component Atcan specificfunction pointscorrectly in the executionpresence sequenceof calledinvalid _sequence points_, all side effects of previous evaluations have completed, and no side effects of subsequent evaluations have yet taken place.inputs or stressful environmental conditions. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="3a81f26d-9456-4afd-bada-b91d2d33590f"><ac:parameter ac:name=""> rvalue</ac:parameter></ac:structured-macro>
*rvalue* \[[ISO/IEC 9899-1999|AA. C++ |
Wiki Markup |
---|
The following sequence points are defined by C99 \[[ISO/IEC 9899-1999|AA. C References#ISO/IEC 9899-1999]\]: |
- the call to a function, after the arguments have been evaluated
- the end of the first operand of the following operators: && (logical AND); || (logical OR); ? (conditional); , (comma operator)
- the end of a full declarator
- the end of a full expression: an initializer; the expression in an expression statement (that is, at the semicolon); the controlling expression of a selection statement (if or switch); the controlling expression of a while or do statement; each of the expressions of a for statement; the expression in a return statement
- immediately before a function returns
- after the actions associated with each formatted input/output function conversion specifier
- immediately before and immediately after each call to a comparison function, by a standard searching or sorting function, and between any call to a comparison function and any movement of the objects passed as arguments to that call
Note that not all instances of a comma in C code denote a usage of the comma operator. For example, the comma between arguments in a function call is not a sequence point.
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="de272f75-c691-49b0-a4f8-524159e007ac"><ac:parameter ac:name=""> security flaw</ac:parameter></ac:structured-macro>
*security flaw* \[[Seacord 05a|AA. C++ References#Seacord 05]\]
A security flaw is a software defect that poses a potential security risk. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="563aaad873e8a4c7-51173e79-4f65483c-a871b304-1239c602ddc7cb9509770f3d"><ac:parameter ac:name=""> strictlysecurity conforming<policy</ac:parameter></ac:structured-macro>
*strictlysecurity conformingpolicy* \[[ISO/IEC 9899-1999Internet Society 00|AA. C References#ISO/IEC 9899-1999++ References#Internet Society 00]\]
A strictlyset conformingof programrules isand onepractices that usesspecify onlyor thoseregulate featureshow ofa thesystem languageor andorganization libraryprovides specified in the international standard. Strictly conforming programs are intended to be maximally portable among conforming implementations and can't, for example, depend upon implementation-defined behaviorsecurity services to protect sensitive and critical system resources. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="bf87aebe00fbac9c-7bd6c909-4cae4e17-88678568-d96ea616527edafbf76dbad0"><ac:parameter ac:name=""> strongsequence exception safety<point</ac:parameter></ac:structured-macro>
*strongsequence exception safetypoint* C99 \[[Stroustrup 01ISO/IEC 9899-1999|AA. C++ References#Stroustrup 01References#ISO/IEC 9899-1999]\], \[[Sutter 00|AA. C++ References#Sutter 00]\]
The strong exception safety guarantee is a property of an operation such that, in addition to satisfying the [basic exception safety|BB. Definitions#basic exception safety] guarantee, if the operation terminates by raising an exception it has no observable effects on program state. See also: [exception safety|BB. Definitions#exception safety], [basic exception safety|BB. Definitions#basic exception safety], [no-throw guarantee|BB. Definitions#no-throw guarantee]. |
Wiki Markup |
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="f38aeef8-1c8c-411f-9379-88ceae743e43"><ac:parameter ac:name=""> undefined behavior</ac:parameter></ac:structured-macro>
*undefined behavior* \[[ISO/IEC 9899-1999|AA. C References#ISO/IEC 9899-1999]\]
Behavior, upon use of a nonportable or erroneous program construct or of erroneous data, for which the standard imposes no requirements. An example of undefined behavior is the behavior on integer overflow
Evaluation of an expression may produce side effects. At specific points in the execution sequence called _sequence points_, all side effects of previous evaluations have completed, and no side effects of subsequent evaluations have yet taken place. |
Wiki Markup |
---|
The following sequence points are defined by C99 \[[ISO/IEC 9899-1999|AA. C++ References#ISO/IEC 9899-1999]\]: |
- the call to a function, after the arguments have been evaluated
- the end of the first operand of the following operators: && (logical AND); || (logical OR); ? (conditional); , (comma operator)
- the end of a full declarator
- the end of a full expression: an initializer; the expression in an expression statement (that is, at the semicolon); the controlling expression of a selection statement (if or switch); the controlling expression of a while or do statement; each of the expressions of a for statement; the expression in a return statement
- immediately before a function returns
- after the actions associated with each formatted input/output function conversion specifier
- immediately before and immediately after each call to a comparison function, by a standard searching or sorting function, and between any call to a comparison function and any movement of the objects passed as arguments to that call
Note that not all instances of a comma in C code denote a usage of the comma operator. For example, the comma between arguments in a function call is not a sequence point.
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="aad2f248-1374-4213-b518-4c0a804325ca"><ac:parameter ac:name=""> strictly conforming</ac:parameter></ac:structured-macro>
*strictly conforming* \[[ISO/IEC 9899-1999|AA. C++ References#ISO/IEC 9899-1999]\]
A strictly conforming program is one that uses only those features of the language and library specified in the international standard. Strictly conforming programs are intended to be maximally portable among conforming implementations and can't, for example, depend upon implementation-defined behavior. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="4330f785-0c16-4f54-92a1-44584e6251f8"><ac:parameter ac:name=""> strong exception safety</ac:parameter></ac:structured-macro>
*strong exception safety* \[[Stroustrup 01|AA. C++ References#Stroustrup 01]\], \[[Sutter 00|AA. C++ References#Sutter 00]\]
The strong exception safety guarantee is a property of an operation such that, in addition to satisfying the [basic exception safety|BB. Definitions#basic exception safety] guarantee, if the operation terminates by raising an exception it has no observable effects on program state. See also: [exception safety|BB. Definitions#exception safety], [basic exception safety|BB. Definitions#basic exception safety], [no-throw guarantee|BB. Definitions#no-throw guarantee]. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="3808b432-d669-4a04-81fa-e8b9a1576de9"><ac:parameter ac:name="">trap representation</ac:parameter></ac:structured-macro>
*trap representation* \[[ISO/IEC 9899-1999|AA. C++ References#ISO/IEC 9899-1999]\]
Object representation that does not represent a value of the object type. Attempting to read the value of an object that has a trap representation other than by an expression that has a character type is [undefined | #undefined behavior]. Producing such a representation by a side effect that modifies all or any part of the object other than by an expression that has a character type is undefined. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="e19989ae-5e98-4335-8288-b0088aefac88"><ac:parameter ac:name=""> undefined behavior</ac:parameter></ac:structured-macro>
*undefined behavior* \[[ISO/IEC 14882-2003| AA. C++ References#ISO/IEC 14882-2003]\]
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. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="49189ac8-6e7c-493a-b5ec-e1163efdad83"><ac:parameter ac:name=""> unspecified behavior</ac:parameter></ac:structured-macro>
*unspecified behavior* \[[ISO/IEC 14882-2003| AA. C++ References#ISO/IEC 14882-2003]\]
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. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="4415160e-4b0f-44da-8cd4-e62f71320236"><ac:parameter ac:name=""> unspecified value</ac:parameter></ac:structured-macro>
*unspecified value* \[[ISO/IEC 9899-1999|AA. C++ References#ISO/IEC 9899-1999]\]
A valid value of the relevant type where the C Standard imposes no requirements on which value is chosen in any instance. An unspecified value cannot be a [#trap representation]. |
Anchor |
---|
| valid pointer |
---|
| valid pointer |
---|
|
valid pointer 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. (Cf 6.5.8p3) 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. Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="74c831bd430a739f-eb58b3ea-4f7e42ce-a6d793ad-69680d86a37fbb721b2e9e8f"><ac:parameter ac:name=""> unspecified behavior<validation</ac:parameter></ac:structured-macro>
*unspecified behaviorvalidation* \[[ISO/IEC 989961508-19994|AA. C++ References#ISO/IECReferences#IEC 989961508-19994]\]
BehaviorConfirmation whereby theexamination standardand providesprovision twoof orobjective moreevidence possibilitiesthat and imposes no furtherthe particular requirements onfor whicha isspecific chosenintended inuse anyare instancefulfilled. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="2eb4ad136c08350a-94b43b6f-4ebb40c6-894f8358-c216c1307e727e9a2ec6f5bf"><ac:parameter ac:name=""> validation<verification</ac:parameter></ac:structured-macro>
*validationverification* \[[IEC 61508-4|AA. C++ References#IEC 61508-4]\]
Confirmation by examination and provision of objective evidence that the particular requirements for a specific intended use arehave been fulfilled. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="72ac3f14f06d7914-41af5520-4c064525-a5bdab7b-34e529302e81b983fe95992f"><ac:parameter ac:name=""> verification<vulnerability</ac:parameter></ac:structured-macro>
*verificationvulnerability* \[[IECSeacord 61508-405a|AA. C++ References#IECReferences#Seacord 61508-405]\]
ConfirmationA byvulnerability examinationis anda provisionset of objective evidence that the requirements have been fulfilled conditions that allows an attacker to violate an explicit or implicit security policy. |
Wiki Markup |
---|
<ac:structured-macro ac:name="anchor" ac:schema-version="1" ac:macro-id="9eb4631cb212bc10-825e085a-4ded4480-883d96a2-36ac8c14388cffc601e9710d"><ac:parameter ac:name="">>well-formed vulnerability<program</ac:parameter></ac:structured-macro>
*vulnerabilitywell-formed program* \[[Seacord 05a|ISO/IEC 14882-2003| AA. C++ References#Seacord 05References#ISO/IEC 14882-2003]\]
A vulnerabilityC++ isprogram aconstructed setaccording ofto conditionsthe thatsyntax allowsrules, andiagnosable attackersemantic torules, violateand anthe explicitOne or implicit security policyDefinition Rule. |