[all-commits] [llvm/llvm-project] 5a1123: [analyzer] VforkChecker: allow execve after vfork.

[NoQ via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 5a11233a2fa58a734dbed23e2232f55cdf4b3321
      https://github.com/llvm/llvm-project/commit/5a11233a2fa58a734dbed23e2232f55cdf4b3321
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2020-02-18 (Tue, 18 Feb 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/VforkChecker.cpp
    M clang/test/Analysis/Inputs/system-header-simulator.h
    M clang/test/Analysis/vfork.c

  Log Message:
  -----------
  [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


  Commit: a807a068e6ae58c6b53ad9b0b2004ea0ed0a939f
      https://github.com/llvm/llvm-project/commit/a807a068e6ae58c6b53ad9b0b2004ea0ed0a939f
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2020-02-18 (Tue, 18 Feb 2020)

  Changed paths:
    A clang/test/Analysis/scan-build/rebuild_index/rebuild_index.test
    A clang/test/Analysis/scan-build/rebuild_index/report-1.html
    A clang/test/Analysis/scan-build/rebuild_index/report-2.html
    A clang/test/Analysis/scan-build/rebuild_index/report-3.html
    A clang/test/Analysis/scan-build/rebuild_index/subdirectory/report-4.html
    M clang/tools/scan-build/bin/scan-build

  Log Message:
  -----------
  [analyzer] Teach scan-build how to rebuild index.html without analyzing.

This is useful for performing custom build system integration that works by appending '--analyze --analyzer-output html' to all clang build commands.
For such users there is now still a way to have the fancy index.html file
in the output.

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


Compare: https://github.com/llvm/llvm-project/compare/e999aa38d169...a807a068e6ae