Main Content
ISO/IEC TS 17961 [syscall]
Calling system
Description
Rule Definition
Calling system.1
Polyspace Implementation
This checker checks for Unsafe call to a system function.
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.