CERT.CONC.ATOMIC_COMP_FAIL_IN_LOOP
|
|
4 |
false |
2021.2 |
|
CERT.CONC.ATOMIC_TWICE_EXPR
|
|
4 |
false |
2021.2 |
|
CERT.CONC.LIB_FUNC_USE
|
|
4 |
false |
2021.2 |
|
CERT.CONC.MUTEX.DESTROY_WHILE_LOCKED
|
|
4 |
false |
2020.1 |
|
CERT.CONC.UNSAFE_COND_VAR
|
|
4 |
false |
2020.1 |
|
CERT.CONC.UNSAFE_COND_VAR_C
|
|
4 |
false |
2021.2 |
|
CERT.CONC.WAKE_IN_LOOP
|
|
4 |
false |
2020.1 |
|
CERT.CONC.WAKE_IN_LOOP_C
|
|
4 |
false |
2021.2 |
|
CERT.DCL.AMBIGUOUS_DECL
|
|
4 |
false |
2020.1 |
|
CERT.DCL.REF_TYPE.CONST_OR_VOLATILE
|
|
4 |
false |
2020.1 |
|
CERT.DCL.SAME_SCOPE_ALLOC_DEALLOC
|
|
4 |
false |
2020.1 |
|
CERT.DCL.STD_NS_MODIFIED
|
|
4 |
false |
2020.1 |
|
CERT.DCL.SWITCH.VAR_BEFORE_CASE
|
|
4 |
false |
2021.2 |
|
CERT.ERR.ABRUPT_TERM
|
|
4 |
false |
2020.1 |
|
CERT.ERR.CONV.STR_TO_NUM
|
|
4 |
false |
2020.1 |
|
CERT.EXPR.DELETE_ARR.BASE_PTR
|
|
4 |
false |
2020.1 |
|
CERT.EXPR.DELETE_PTR.INCOMPLETE_TYPE
|
|
4 |
false |
2020.1 |
|
CERT.EXPR.VOLATILE.ADDR
|
|
4 |
false |
2020.1 |
|
CERT.EXPR.VOLATILE.ADDR.PARAM
|
|
4 |
false |
2020.1 |
|
CERT.EXPR.VOLATILE.PTRPTR
|
|
4 |
false |
2020.1 |
|
CERT.MEM.OVERRIDE.DELETE
|
|
4 |
false |
2020.1 |
|
CERT.MEM.OVERRIDE.NEW
|
|
4 |
false |
2020.1 |
|
CERT.MSC.ASCTIME
|
|
4 |
false |
2021.2 |
|
CERT.MSC.NORETURN_FUNC_RETURNS
|
|
4 |
false |
2020.1 |
|
CERT.MSC.SEED_RANDOM
|
|
4 |
false |
2021.2 |
|
CERT.MSC.SIG_HANDLER.POF
|
|
4 |
false |
2020.1 |
|
CERT.MSC.STD_RAND_CALL
|
|
4 |
false |
2020.1 |
|
CERT.OOP.COPY_MUTATES
|
|
4 |
false |
2020.1 |
|
CERT.OOP.CSTD_FUNC_USE
|
|
4 |
false |
2020.1 |
|
CERT.OOP.CTOR.INIT_ORDER
|
|
4 |
false |
2020.1 |
|
CERT.OOP.PTR_MEMBER.NO_MEMBER
|
|
4 |
false |
2020.1 |
|
CERT.POS.THREAD.ASYNC_CANCEL
|
|
3 |
false |
2020.1 |
|
CERT.STRUCT.FLEXIBLE_ARRAY_MEMBER
|
|
4 |
false |
2021.2 |
|