aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/StreamChecker.cpp
AgeCommit message (Expand)Author
2010-09-07Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) an...Ted Kremenek
2010-09-03"I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignmentChris Lattner
2010-09-03Remove bogus assertions.Ted Kremenek
2010-08-22Detabify.Eli Friedman
2010-08-05Don't assert on a file stream if its state is not tracked. Fix pr7831.Zhongxing Xu
2010-07-23Add FILE* leak check to StreamChecker. Patch by Lei Zhang.Zhongxing Xu
2010-07-22This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang.Zhongxing Xu
2010-07-19Add double close check to StreamChecker. Patch by Lei Zhang.Zhongxing Xu
2010-06-24Return null pointer instead of 'false' (fixes clang warning).Ted Kremenek
2010-06-24Add check for illegal whence argument of fseek.Zhongxing Xu
2010-06-24Should return stateNotNull.Zhongxing Xu
2010-06-24Let StreamChecker::CheckNullStream() return a GRState after successful check.Zhongxing Xu
2010-06-22Add a bunch of stream APIs to SteamChecker.Zhongxing Xu
2010-06-18Add null stream check for more APIs.Zhongxing Xu
2010-06-16Typo.Zhongxing Xu
2010-06-16Although arguments can not be undefined when we get here, they can still beZhongxing Xu
2010-06-16Cast earlier. We know we can get a DefinedSVal.Zhongxing Xu
2010-06-16Add StreamChecker. This checker models and checks stream manipulation functions.Zhongxing Xu