diff options
| author | Yury Gribov <y.gribov@samsung.com> | 2015-11-06 11:16:31 +0000 |
|---|---|---|
| committer | Yury Gribov <y.gribov@samsung.com> | 2015-11-06 11:16:31 +0000 |
| commit | 22b4164e7df02ff1f82a99bdb908070701e747be (patch) | |
| tree | f8123405a13cbda0e5f9a3a8e5c14ed595b4bb62 /clang/lib/StaticAnalyzer/Checkers/Checkers.td | |
| parent | 3a618b03172f715774ce1e74a914ce7af47e5a94 (diff) | |
| download | bcm5719-llvm-22b4164e7df02ff1f82a99bdb908070701e747be.tar.gz bcm5719-llvm-22b4164e7df02ff1f82a99bdb908070701e747be.zip | |
[analyzer] Add VforkChecker to find unsafe code in vforked process.
This checker looks for unsafe constructs in vforked process:
function calls (excluding whitelist), memory write and returns.
This was originally motivated by a vfork-related bug in xtables package.
Patch by Yury Gribov.
Differential revision: http://reviews.llvm.org/D14014
llvm-svn: 252285
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/Checkers.td')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/Checkers.td | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/Checkers.td b/clang/lib/StaticAnalyzer/Checkers/Checkers.td index 4003bc979c0..c419225c8f8 100644 --- a/clang/lib/StaticAnalyzer/Checkers/Checkers.td +++ b/clang/lib/StaticAnalyzer/Checkers/Checkers.td @@ -362,6 +362,10 @@ def MismatchedDeallocatorChecker : Checker<"MismatchedDeallocator">, HelpText<"Check for mismatched deallocators.">, DescFile<"MallocChecker.cpp">; +def VforkChecker : Checker<"Vfork">, + HelpText<"Check for proper usage of vfork">, + DescFile<"VforkChecker.cpp">; + } // end "unix" let ParentPackage = UnixAlpha in { |
