[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)
Balázs Kéri via cfe-commits
cfe-commits at lists.llvm.org
Wed Feb 21 03:20:59 PST 2024
================
@@ -396,6 +418,18 @@ class StreamChecker : public Checker<check::PreCall, eval::Call,
0}},
{{{"fileno"}, 1},
{&StreamChecker::preDefault, &StreamChecker::evalFileno, 0}},
+ {{{"getc"}, 1},
+ {std::bind(&StreamChecker::preReadWrite, _1, _2, _3, _4, true),
+ std::bind(&StreamChecker::evalFgetx, _1, _2, _3, _4, true), 0}},
----------------
balazske wrote:
Entry for `fgetc` belongs (directly) after `fgets` (or `fgetc`).
https://github.com/llvm/llvm-project/pull/82476
More information about the cfe-commits
mailing list