Document some new checkers
"alpha.core.TestAfterDivZero": "MEDIUM",
"alpha.cplusplus.DeleteWithNonVirtualDtor": "HIGH",
"alpha.cplusplus.EnumCastOutOfRange": "MEDIUM",
+ "alpha.cplusplus.IteratorModeling": "MEDIUM",
"alpha.cplusplus.IteratorRange": "MEDIUM",
"alpha.cplusplus.UninitializedObject": "MEDIUM",
"alpha.deadcode.UnreachableCode": "LOW",
"alpha.security.MallocOverflow": "HIGH",
"alpha.security.MmapWriteExec": "MEDIUM",
"alpha.security.ReturnPtrRange": "HIGH",
+ "alpha.security.taint.TaintPropagation": "HIGH",
"alpha.unix.BlockInCriticalSection": "LOW",
"alpha.unix.Chroot": "MEDIUM",
"alpha.unix.cstring.BufferOverlap": "HIGH",
"bugprone-move-forwarding-reference": "MEDIUM",
"bugprone-multiple-statement-macro": "MEDIUM",
"bugprone-narrowing-conversions": "MEDIUM",
+ "bugprone-not-null-terminated-result": "MEDIUM",
"bugprone-parent-virtual-call": "MEDIUM",
"bugprone-sizeof-container": "HIGH",
"bugprone-sizeof-expression": "HIGH",
"cert-msc50-cpp": "LOW",
"cert-msc51-cpp": "MEDIUM",
"cert-oop11-cpp": "MEDIUM",
+ "cert-oop54-cpp": "MEDIUM",
"core.builtin.BuiltinFunctions": "MEDIUM",
"core.builtin.NoReturnFunctions": "MEDIUM",
"core.CallAndMessage": "HIGH",
"cplusplus.Move": "HIGH",
"cplusplus.NewDelete": "HIGH",
"cplusplus.NewDeleteLeaks": "HIGH",
+ "cplusplus.PureVirtualCall": "HIGH",
"cplusplus.SelfAssignment": "MEDIUM",
"cppcoreguidelines-avoid-c-arrays": "LOW",
"cppcoreguidelines-avoid-goto": "STYLE",
"cppcoreguidelines-avoid-magic-numbers": "STYLE",
"cppcoreguidelines-c-copy-assignment-signature": "MEDIUM",
"cppcoreguidelines-explicit-virtual-functions": "LOW",
+ "cppcoreguidelines-init-variables": "MEDIUM",
"cppcoreguidelines-interfaces-global-init": "LOW",
"cppcoreguidelines-macro-usage": "LOW",
"cppcoreguidelines-narrowing-conversions": "MEDIUM",
"google-runtime-memset": "HIGH",
"google-runtime-operator": "MEDIUM",
"google-runtime-references": "STYLE",
+ "hicpp-avoid-c-arrays": "LOW",
"hicpp-avoid-goto": "STYLE",
"hicpp-braces-around-statements": "STYLE",
"hicpp-deprecated-headers": "LOW",
"nullability.NullableReturnedFromNonnull": "MEDIUM",
"nullability.NullPassedToNonnull": "HIGH",
"nullability.NullReturnedFromNonnull": "HIGH",
+ "optin.cplusplus.UninitializedObject": "MEDIUM",
"optin.cplusplus.VirtualCall": "MEDIUM",
"optin.mpi.MPI-Checker": "MEDIUM",
"optin.performance.Padding": "LOW",
