[analyzer] Add VforkChecker to find unsafe code in vforked process.

Description

[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

Details

Committed
ygribovNov 6 2015, 3:16 AM
Differential Revision
D14014: Checker of proper vfork usage
Parents
rL252284: [tsan] Enable new/delete C++ interceptors for OS X
Branches
Unknown
Tags
Unknown