Main Content
ISO/IEC TS 17961 [nonnullcs]
Passing a non-null-terminated character sequence to a library function
Description
Rule Definition
Passing a non-null-terminated character sequence to a library function.1
Polyspace Implementation
This checker checks for Invalid use of standard library string routine.
Examples
Check Information
Decidability: Undecidable |
Version History
Introduced in R2019a
1 Extracts from the standard "ISO/IEC TS 17961 Technical Specification - 2013-11-15" are reproduced with the agreement of AFNOR. Only the original and complete text of the standard, as published by AFNOR Editions - accessible via the website www.boutique.afnor.org - has normative value.