Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Risk Assessment

Rule

Severity

Likelihood

Detectable

RepairableRemediation Cost

Priority

Level

MSC23-C

High

Probable

No

MediumNo

P12P6

L1L3

Automated Detection

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V

Supported: Astrée reports non-standard language elements.
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

LANG.STRUCT.DECL.VLA
MATH.RANGE.GAMMA
LANG.STRUCT.DECL.IMPFNBADFUNC.*
CONCURRENCY.C_ATOMIC
CONCURRENCY.THREADLOCAL

LANG.STRUCTFUNCS.INIT.UADI

BADFUNC.FENV_H
NORETURN
LANG.PREPROC.INCL.TGMATH_H
LANG.STRUCT.ALIGNAS
LANG.STRUCT.ALIGNOF

CONCURRENCY.C_ATOMICALIGNAS.EZA
LANG.FUNCSSTRUCT.NORETURN

CONCURRENCYALIGNAS.THREADLOCALIAS
BADFUNC.ABORT_HANDLER_S
BADFUNC.ATOLL
BADFUNC.BSEARCH_S
BADFUNC.CONSTRAINT_HANDLER_T
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_SLANG.STRUCT.ALIGNAS.TMAS
LANG.STRUCT.ALIGNOF
LANG.STRUCT.DECL.IMPFN
LANG.STRUCT.DECL.VLA
LANG.STRUCT.INIT.UADI
LANG.TYPE.VMAT
MATH.RANGE.GAMMA

Many checks for uses of functions that have vendor-specific differences
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

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C3375Declaration of Variable Length Array
Gamma on Zero
Implicit Function Declaration
Unspecified Array Size with Designator Initialization
Use of <fenv.h> Exception Handling Function
Use of <tgmath.h>
Use of Alignas
Use of Alignof
Use of C Atomic
Use of Noreturn
Use of Thread Local
Use of abort_handler_s
Use of atoll
Use of bsearch_s
Use of constraint_handler_t
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