...
This program will print 32 with the given text, regardless of platform.
Risk Assessment
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
---|
MSC23-C | High | Probable | Medium | P12 | L1 |
Automated Detection
Tool | Version | Checker | Description |
---|
Astrée | |
| Supported: Astrée reports non-standard language elements. |
CodeSonar | | BADFUNC.ABORT_HANDLER_S BADFUNC.ATOLL BADFUNC.BSEARCH_S BADFUNC.CONSTRAINT_HANDLER_T BADFUNC.FENV_H BADFUNC.FOPEN_S BADFUNC.FREOPEN_S BADFUNC.GMTIME_S BADFUNC.IGNORE_HANDLER_S BADFUNC.LOCALTIME_S BADFUNC.MEMSET_S BADFUNC.SET_CONSTRAINT_HANDLER_S BADFUNC.SNWPRINTF_S BADFUNC.STRERRORLEN_S BADFUNC.STRTOK_S BADFUNC.VFSCANF_S BADFUNC.VFWSCANF_S BADFUNC.VSCANF_S BADFUNC.VSNWPRINTF_S BADFUNC.VSSCANF_S BADFUNC.VSWSCANF_S BADFUNC.VWSCANF_S BADFUNC.WCSTOK_S CONCURRENCY.C_ATOMIC CONCURRENCY.THREADLOCAL LANG.FUNCS.NORETURN LANG.PREPROC.INCL.TGMATH_H LANG.STRUCT.ALIGNAS LANG.STRUCT.ALIGNAS.EZA LANG.STRUCT.ALIGNAS.IAS LANG.STRUCT.ALIGNAS.TMAS LANG.STRUCT.ALIGNOF LANG.STRUCT.DECL.IMPFN LANG.STRUCT.DECL.VLA LANG.STRUCT.INIT.UADI LANG.TYPE.VMAT MATH.RANGE.GAMMA | Use of abort_handler_s Use of atoll Use of bsearch_s Use of constraint_handler_t Use of <fenv.h> Exception Handling Function Use of fopen_s Use of freopen_s Use of gmtime_s Use of ignore_handler_s Use of localtime_s Use of memset_s Use of set_constraint_handler_s Use of snwprintf_s Use of strerrorlen_s Use of strtok_s Use of vfscanf_s Use of vfwscanf_s Use of vscanf_s Use of vsnwprintf_s Use of vsscanf_s Use of vswscanf_s Use of vwscanf_s Use of wcstok_s Use of C Atomic Use of Thread Local Use of Noreturn Use of <tgmath.h> Use of Alignas Explicit Zero Alignment Inconsistent Alignment Specifications Too Many Alignment Specifiers Use of Alignof Implicit Function Declaration Declaration of Variable Length Array Unspecified Array Size with Designator Initialization Pointer to Variably-modified Array Type Gamma on Zero |