Increase the severity of some checker that indicate Undefined Behaviour
Accordign to the definition of HIGH priority in config/config.md,
these checkers must be in the high severity class.
"alpha.security.ArrayBoundV2": "HIGH",
"alpha.security.MallocOverflow": "HIGH",
"alpha.security.MmapWriteExec": "MEDIUM",
- "alpha.security.ReturnPtrRange": "LOW",
+ "alpha.security.ReturnPtrRange": "HIGH",
"alpha.unix.BlockInCriticalSection": "LOW",
"alpha.unix.Chroot": "MEDIUM",
"alpha.unix.cstring.BufferOverlap": "HIGH",
"core.NonNullParamChecker": "HIGH",
"core.NullDereference": "HIGH",
"core.StackAddressEscape": "HIGH",
- "core.UndefinedBinaryOperatorResult": "MEDIUM",
- "core.uninitialized.ArraySubscript": "MEDIUM",
- "core.uninitialized.Assign": "MEDIUM",
- "core.uninitialized.Branch": "MEDIUM",
- "core.uninitialized.CapturedBlockVariable": "MEDIUM",
+ "core.UndefinedBinaryOperatorResult": "HIGH",
+ "core.uninitialized.ArraySubscript": "HIGH",
+ "core.uninitialized.Assign": "HIGH",
+ "core.uninitialized.Branch": "HIGH",
+ "core.uninitialized.CapturedBlockVariable": "HIGH",
"core.uninitialized.UndefReturn": "HIGH",
- "core.VLASize": "MEDIUM",
+ "core.VLASize": "HIGH",
"cplusplus.InnerPointer": "HIGH",
- "cplusplus.Move": "MEDIUM",
+ "cplusplus.Move": "HIGH",
"cplusplus.NewDelete": "HIGH",
"cplusplus.NewDeleteLeaks": "HIGH",
"cplusplus.SelfAssignment": "MEDIUM",
