HomePhabricator

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

Authored by dergachev.a on Nov 7 2019, 3:58 PM.

Description

[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