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.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.TYPE.VMAT.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 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 <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
Pointer to Variably-modified Array TypeUse 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