[clang][analyzer] Display buffer sizes in StdCLibraryFunctionArgs checker
authorBalázs Kéri <1.int32@gmail.com>
Wed, 17 May 2023 06:50:23 +0000 (08:50 +0200)
committerBalázs Kéri <balazs.keri@ericsson.com>
Wed, 17 May 2023 07:34:05 +0000 (09:34 +0200)
commit6012cadc400f4400c97e00da268de17e94a3f5dc
tree0ba7623befe939b62bd023e2071d4b595488a578
parent11081a6a1dd7195fb8285e361873e706d6fb6e69
[clang][analyzer] Display buffer sizes in StdCLibraryFunctionArgs checker

If a wrong (too small) buffer argument is found, the dynamic buffer size and
values of connected arguments are displayed in the warning message, if
these are simple known integer values.

Reviewed By: Szelethus

Differential Revision: https://reviews.llvm.org/D149321
clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
clang/test/Analysis/std-c-library-functions-arg-constraints-notes.cpp
clang/test/Analysis/std-c-library-functions-arg-constraints-tracking-notes.c
clang/test/Analysis/std-c-library-functions-arg-constraints.c