[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