当使用gcc的消毒剂时,可以提供一系列异常/抑制来处理误报等。
抑制文件格式记录不足。
每种抑制都是
形式name_of_check:path_or_name
name_of_check
的有效值是什么?
答案 0 :(得分:4)
我求助于从源代码中获取值。这些基于gcc 8.1:
ubsan
/ undefined
- 请参阅libsanitizer/ubsan/ubsan_checks.inc
undefined
,null
,pointer-overflow
,alignment
,object-size
,signed-integer-overflow
,unsigned-integer-overflow
,unsigned-integer-overflow
,integer-divide-by-zero
,float-divide-by-zero
,invalid-builtin-use
,shift-base
,shift-exponent
,bounds
,unreachable
,return, vla-bound
,{ {1}},float-cast-overflow
,bool
,enum
,function
,returns-nonnull-attribute
,nonnull-attribute
,vptr
,{{1 }} cfi
/ vptr_check
- 请参阅asan
address
,libsanitizer/asan/asan_suppressions.cc
,interceptor_name
,interceptor_via_fun
interceptor_via_lib
/ odr_violation
- 请参阅lsan
leak
libsanitizer/lsan/lsan_common.cc
/ leak
- 请参阅tsan
thread
,libsanitizer/tsan/tsan_suppressions.h
,none
,race
,race_top
,mutex
,thread
,signal
编辑:更新为8.1