Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 02b49bb23273f3488a47f8abadf0ec7a98429d1f / lib / Checker / StreamChecker.cpp
  1. 02b49bb Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) and simplify surrounding checking logic. by Ted Kremenek · 15 years ago
  2. fae9622 "I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment by Chris Lattner · 15 years ago
  3. 8046037 Remove bogus assertions. by Ted Kremenek · 15 years ago
  4. a7e6845 Detabify. by Eli Friedman · 15 years ago
  5. 1c7370f Don't assert on a file stream if its state is not tracked. Fix pr7831. by Zhongxing Xu · 15 years ago
  6. 766c201 Add FILE* leak check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 15 years ago
  7. 47dc37f This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 15 years ago
  8. 9843ba9 Add double close check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 15 years ago
  9. 2b11fb2 Return null pointer instead of 'false' (fixes clang warning). by Ted Kremenek · 15 years ago
  10. 0c2e8c8 Add check for illegal whence argument of fseek. by Zhongxing Xu · 15 years ago
  11. ab42130 Should return stateNotNull. by Zhongxing Xu · 15 years ago
  12. 12d213d Let StreamChecker::CheckNullStream() return a GRState after successful check. by Zhongxing Xu · 15 years ago
  13. c7de88b Add a bunch of stream APIs to SteamChecker. by Zhongxing Xu · 15 years ago
  14. 23d90f9 Add null stream check for more APIs. by Zhongxing Xu · 15 years ago
  15. b0cd34b Typo. by Zhongxing Xu · 15 years ago
  16. b3f4031 Although arguments can not be undefined when we get here, they can still be by Zhongxing Xu · 15 years ago
  17. 7015485 Cast earlier. We know we can get a DefinedSVal. by Zhongxing Xu · 15 years ago
  18. c196095 Add StreamChecker. This checker models and checks stream manipulation functions. by Zhongxing Xu · 15 years ago