[all-commits] [llvm/llvm-project] acac54: [analyzer] PR41729: CStringChecker: Improve strlca...

[NoQ via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: acac540422e8cee4a77d10f087b2a2b67504b27b
      https://github.com/llvm/llvm-project/commit/acac540422e8cee4a77d10f087b2a2b67504b27b
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2019-11-07 (Thu, 07 Nov 2019)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
    M clang/test/Analysis/bsd-string.c

  Log Message:
  -----------
  [analyzer] PR41729: CStringChecker: Improve strlcat and strlcpy modeling.

- Fix false positive reports of strlcat.
- The return value of strlcat and strlcpy is now correctly calculated.
- The resulting string length of strlcat and strlcpy is now correctly
  calculated.

Patch by Daniel Krupp!

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


  Commit: 5e0fb648420702e47c94de53757928360a106e8c
      https://github.com/llvm/llvm-project/commit/5e0fb648420702e47c94de53757928360a106e8c
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2019-11-07 (Thu, 07 Nov 2019)

  Changed paths:
    A clang/test/Analysis/handle_constructors_for_default_arguments.cpp
    A clang/test/Analysis/handle_constructors_with_new_array.cpp
    M clang/www/analyzer/open_projects.html

  Log Message:
  -----------
  [analyzer] Add test cases for the unsupported C++ constructor modeling.

Namely, for the following items:
- Handle constructors within new[];
- Handle constructors for default arguments.

Update the open projects page with a link to the newly added tests
and more hints for potential contributors.

Patch by Daniel Krupp!

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


Compare: https://github.com/llvm/llvm-project/compare/793679836a09...5e0fb6484207