PD ISO/IEC TS 17961:2013

Foreword
Introduction
1 Scope
2 Conformance
3 Normative references
4 Terms and definitions
5 Rules
Annex A (informative) - Intra- to Interprocedural
        Transformations
Annex B (informative) - Undefined Behavior
Annex C (informative) - Related Guidelines and References
Annex D (informative) - Decidability of Rules
Bibliography

Describes: - rules for secure coding in the C programming language, and - code examples.

This Technical Specification specifies rules for secure coding in the C programming language and code examples. This Technical Specification does not specify the mechanism by which these rules are enforced or any particular coding style to be enforced. (It has been impossible to develop a consensus on appropriate style guidelines. Programmers should define style guidelines and apply these guidelines consistently. The easiest way to consistently apply a coding style is with the use of a code formatting tool. Many interactive development environments provide such capabilities.) Each rule in this Technical Specification is accompanied by code examples. Code examples are informative only and serve to clarify the requirements outlined in the normative portion of the rule. Examples impose no normative requirements. Each rule in this Technical Specification that is based on undefined behavior defined in the C Standard identifies the undefined behavior by a numeric code. The numeric codes for undefined behaviors can be found in Annex B, Undefined Behavior. Two distinct kinds of examples are provided: noncompliant examples demonstrating language constructs that have weaknesses with potentially exploitable security implications; such examples are expected to elicit a diagnostic from a conforming analyzer for the affected language construct; and compliant examples are expected not to elicit a diagnostic. Examples are not intended to be complete programs. For brevity, they typically omit #include directives of C Standard Library headers that would otherwise be necessary to provide declarations of referenced symbols. Code examples may also declare symbols without providing their definitions if the definitions are not essential for demonstrating a specific weakness. Some rules in this Technical Specification have exceptions. Exceptions are part of the specification of these rules and are normative.