Merge pull request #18300 from yuwata/analyze-verify-18252
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 19 Jan 2021 07:41:15 +0000 (08:41 +0100)
committerGitHub <noreply@github.com>
Tue, 19 Jan 2021 07:41:15 +0000 (08:41 +0100)
analyze: resolve executable path if it is relative


Trivial merge