After an escaped FILE* stream handle it is not possible to make
reliable checks on it because any function call can have effect
on it.
Details
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
@NoQ @baloghadamsoftware Escapes are more within your realm of expertise. Anything to add?
From my end, this looks okay.
clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp | ||
---|---|---|
459–461 | Why not take that approach now? I mean that instead of deleting the stream from the map set its state to "escaped". |
@NoQ @baloghadamsoftware Escapes are more within your realm of expertise. Anything to add?
This looks like a fairly standard approach to take, no objections.
clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp | ||
---|---|---|
938–940 |
We were only allowed to use C++11 in LLVM very recently. Most of our code was written before that happened. |
How does this interact with D78280?