projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e999aa3) | patch
[analyzer] VforkChecker: allow execve after vfork.
authorArtem Dergachev <artem.dergachev@gmail.com>
Tue, 18 Feb 2020 05:40:02 +0000 (08:40 +0300)
committerArtem Dergachev <artem.dergachev@gmail.com>
Tue, 18 Feb 2020 06:19:29 +0000 (09:19 +0300)
commit5a11233a2fa58a734dbed23e2232f55cdf4b3321
tree1fea78291ff69e1a43099525074b846d459a5002tree | snapshot
parente999aa38d1691e580d08da274c9e846875d9219dcommit | diff
[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
clang/lib/StaticAnalyzer/Checkers/VforkChecker.cpp diff | blob | history
clang/test/Analysis/Inputs/system-header-simulator.h diff | blob | history
clang/test/Analysis/vfork.c diff | blob | history
Domain: System / Toolchain;