Changeset View
Changeset View
Standalone View
Standalone View
include/clang/StaticAnalyzer/Checkers/Checkers.td
| Show First 20 Lines • Show All 378 Lines • ▼ Show 20 Lines | |||||
| def ReturnPointerRangeChecker : Checker<"ReturnPtrRange">, | def ReturnPointerRangeChecker : Checker<"ReturnPtrRange">, | ||||
| HelpText<"Check for an out-of-bound pointer being returned to callers">, | HelpText<"Check for an out-of-bound pointer being returned to callers">, | ||||
| DescFile<"ReturnPointerRangeChecker.cpp">; | DescFile<"ReturnPointerRangeChecker.cpp">; | ||||
| def MallocOverflowSecurityChecker : Checker<"MallocOverflow">, | def MallocOverflowSecurityChecker : Checker<"MallocOverflow">, | ||||
| HelpText<"Check for overflows in the arguments to malloc()">, | HelpText<"Check for overflows in the arguments to malloc()">, | ||||
| DescFile<"MallocOverflowSecurityChecker.cpp">; | DescFile<"MallocOverflowSecurityChecker.cpp">; | ||||
| def DirtyScalarChecker : Checker<"DirtyScalar">, | |||||
| HelpText<"Warn on using tainted integers without proper bound check">, | |||||
| DescFile<"DirtyScalarChecker.cpp">; | |||||
| } // end "alpha.security" | } // end "alpha.security" | ||||
| //===----------------------------------------------------------------------===// | //===----------------------------------------------------------------------===// | ||||
| // Taint checkers. | // Taint checkers. | ||||
| //===----------------------------------------------------------------------===// | //===----------------------------------------------------------------------===// | ||||
| let ParentPackage = Taint in { | let ParentPackage = Taint in { | ||||
| ▲ Show 20 Lines • Show All 350 Lines • Show Last 20 Lines | |||||