[analyzer] CStringChecker: Fix a crash on unknown value passed to strlcat.
authorArtem Dergachev <artem.dergachev@gmail.com>
Sat, 14 Dec 2019 01:59:36 +0000 (17:59 -0800)
committerArtem Dergachev <artem.dergachev@gmail.com>
Sat, 14 Dec 2019 02:00:24 +0000 (18:00 -0800)
commitf450dd63a14d6cb16418f6a6f4de26916502c13f
tree243f908b0230014c4882410185e396b5c43d57e3
parent93faa237da8ddeb9e2ad91980387bd4d633369a9
[analyzer] CStringChecker: Fix a crash on unknown value passed to strlcat.

Checkers should always account for unknown values.

Also use a slightly more high-level API that naturally avoids the problem.
clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
clang/test/Analysis/bsd-string.c