Versions Compared

Key

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

...

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.IMPFN
LANG.STRUCT.INIT.UADI
BADFUNC.FENV_H
LANG.PREPROC.INCL.TGMATH_H
LANG.STRUCT.ALIGNAS
LANG.STRUCT.ALIGNOF
CONCURRENCY.C_ATOMIC
LANG.FUNCS.NORETURN
CONCURRENCY.THREADLOCAL
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_S
LANG.TYPE.VMAT

Declaration 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
Pointer to Variably-modified Array Type