HomePhabricator

[analyzer] VforkChecker: allow execve after vfork.

Authored by dergachev.a on Feb 17 2020, 9:40 PM.

Description

[analyzer] VforkChecker: allow execve after vfork.

In the path-sensitive vfork() checker that keeps a list of operations
allowed after a successful vfork(), unforget to include execve() in the list.

Patch by Jan Včelák!

Differential Revision: https://reviews.llvm.org/D73629

Details