[clang] [clang][analyzer] Support `fgets` in the SteamChecker (PR #73638)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Wed Jan 24 09:26:21 PST 2024
================
@@ -778,42 +781,61 @@ void StreamChecker::evalFgetc(const FnDescription *Desc, const CallEvent &Call,
assertStreamStateOpened(OldSS);
----------------
steakhal wrote:
The problem should apply to all APIs that potentially write to the passed buffer; including `fread` too.
https://github.com/llvm/llvm-project/pull/73638
More information about the cfe-commits
mailing list