Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / c29db84419592e98e71a08d1a9fb04a3d6b51a0c / clang / lib / StaticAnalyzer / Checkers / CallAndMessageChecker.cpp
  1. 6f3ff22 Support watchOS and tvOS driver options by Tim Northover · 10 years ago
  2. e335f25 SourceRanges are small and trivially copyable, don't them by reference. by Craig Topper · 10 years ago
  3. e39bd40 [analyzer] Add generateErrorNode() APIs to CheckerContext. by Devin Coughlin · 10 years ago
  4. ca5ab2b [analyzer] Skip Pre/Post handlers for ObjC calls when receiver is nil. by Devin Coughlin · 10 years ago
  5. 8d3a7a5 Clarify pointer ownership semantics by hoisting the std::unique_ptr creation to the caller instead of hiding it in emitReport. NFC. by Aaron Ballman · 10 years ago
  6. 0dbb783 [C++11] Use 'nullptr'. StaticAnalyzer edition. by Craig Topper · 11 years ago
  7. 821a3a0 [analyzer] Warn when passing pointers to const but uninitialized memory. by Jordan Rose · 12 years ago
  8. e8a8bae [C++11] Replacing RecordDecl iterators field_begin() and field_end() with iterator_range fields(). Updating all of the usages of the iterators with range-based for loops. by Aaron Ballman · 12 years ago
  9. b898432 Replace OwningPtr with std::unique_ptr. by Ahmed Charles · 12 years ago
  10. 867ea1d [C++11] Replace llvm::tie with std::tie. by Benjamin Kramer · 12 years ago
  11. 6a61922 [analyzer] Improved checker naming in CFG dump. by Anton Yartsev · 12 years ago
  12. 4aca9b1 Expose the name of the checker producing each diagnostic message. by Alexander Kornienko · 12 years ago
  13. b190f97 Fixed a FIXME; created a print method for Selectors that accepts a raw_ostream, and started using it in places it made sense. by Aaron Ballman · 12 years ago
  14. 44e066c [analyzer] Add missing return after function pointer null check. by Jordan Rose · 12 years ago
  15. 556d91e Clean up some Triple usage in clang. by Cameron Esfahani · 12 years ago
  16. 867b185e [analyzer] Warn when using 'delete' on an uninitialized variable. by Jordan Rose · 12 years ago
  17. 963f91b Fix a crash in the static analyzer (bug #16307) by Pavel Labath · 12 years ago
  18. c610bca [analyzer] Warn when nil receiver results in forming null reference by Anna Zaks · 13 years ago
  19. 22fa6ec [analyzer] Ensure that the node NilReceiverBRVisitor is looking for is not reclaimed by Anna Zaks · 13 years ago
  20. 05785d1 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 13 years ago
  21. 2fdacbc Replace SVal llvm::cast support to be well-defined. by David Blaikie · 13 years ago
  22. aea020f [analyzer] Track null object lvalues back through C++ method calls. by Jordan Rose · 13 years ago
  23. 3a02247 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 13 years ago
  24. 444a130 Include pruning and general cleanup. by Benjamin Kramer · 13 years ago
  25. e10d5a7 [analyzer] Rename 'EmitReport' to 'emitReport'. by Jordan Rose · 13 years ago
  26. 199f8da Make helper functions static. by Benjamin Kramer · 13 years ago
  27. a0f7d35 [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. by Jordan Rose · 13 years ago
  28. 83e4049 [analyzer] If we call a C++ method on an object, assume it's non-null. by Jordan Rose · 13 years ago
  29. a01741f [analyzer] Use a more robust check for null in CallAndMessageChecker. by Jordan Rose · 13 years ago
  30. cfb4eb2 [analyzer] When a symbol is null, we should track its constraints. by Jordan Rose · 13 years ago
  31. 92e1449 [analyzer] Track null/uninitialized C++ objects used in method calls. by Jordan Rose · 13 years ago
  32. 4f7df9b [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. by Jordan Rose · 13 years ago
  33. faef9cb Add static analyzer check for calling a C++ instance method with a null/uninitialized pointer. by Ted Kremenek · 13 years ago
  34. 627b046 [analyzer] Combine all ObjC message CallEvents into ObjCMethodCall. by Jordan Rose · 13 years ago
  35. e8d5567 [analyzer] If 'super' is known to be nil, we can still mark its range. by Jordan Rose · 13 years ago
  36. 682b316 [analyzer] Convert existing checkers to use check::preCall and check::postCall. by Jordan Rose · 13 years ago
  37. 547060b [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. by Jordan Rose · 13 years ago
  38. 6bad490 [analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends. by Jordan Rose · 13 years ago
  39. 2995349 [analyzer] Convert CallAndMessageChecker and ObjCSelfInitChecker to CallEvent. by Jordan Rose · 13 years ago
  40. 40ed297 Revert Decl's iterators back to pointer value_type rather than reference value_type by David Blaikie · 13 years ago
  41. d1d76b2 Remove unused private member variables found by clang's new -Wunused-private-field. by Benjamin Kramer · 13 years ago
  42. 2d7c57e Remove the ref/value inconsistency in filter_decl_iterator. by David Blaikie · 13 years ago
  43. 1e809b4 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 14 years ago
  44. 6762a94 Teak CallAndMessageChecker to only warn about uninitialized struct fields in call arguments by Ted Kremenek · 14 years ago
  45. e98d63a Adopt ExprEngine and checkers to ObjC property refactoring. Everything was working, but now diagnostics are aware of message expressions implied by uses of properties. Fixes <rdar://problem/9241180>. by Ted Kremenek · 14 years ago
  46. 2c1dd27 Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 14 years ago
  47. e277899 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  48. 4903802 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 14 years ago
  49. c333749 Fix an assertion failure in isMacOSXVersionLT for IOS targets. by Bob Wilson · 14 years ago
  50. 49b1e38 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  51. 95f3321 [analyzer] Rename Store::Retrieve() -> getBinding(). by Anna Zaks · 14 years ago
  52. 632e3b7 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  53. 1c887b3 [analyzer] CheckerContext::getPredecessor() cleanup by Anna Zaks · 14 years ago
  54. a98358e [analyzer] ObjC message sends to nil receivers that return structs are now okay (compiler zeroes out the data). Fixes <rdar://problem/9151319>. by Ted Kremenek · 14 years ago
  55. da4c8d6 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 14 years ago
  56. b473816 [analyzer] Simplify CheckerContext by Anna Zaks · 14 years ago
  57. b89514a Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 14 years ago
  58. 087611e [analyzer] Remove TransferFuncs.h, then deal with the fallout. by Jordy Rose · 14 years ago
  59. e8bbc12 Extend the ASTContext constructor to delay the initialization of by Douglas Gregor · 14 years ago
  60. f86615c Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). by Anna Zaks · 14 years ago
  61. 3a6bdf8 Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. by Anna Zaks · 14 years ago
  62. 001fd5b Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  63. 5ef32db Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 14 years ago
  64. 8df44b26 [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separate TypedRegions that implement getValueType() from those that don't. by Ted Kremenek · 14 years ago
  65. 0e62c1c remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 14 years ago
  66. bf15d2b Update for llvm commit r134291. by Eric Christopher · 14 years ago
  67. 6a5674f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  68. 6d6801c5 [analzyer] Migrate CallAndMessageChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  69. f8cbac4 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  70. f99d595 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h by Argyrios Kyrtzidis · 15 years ago
  71. ffb08c4 [analyzer] Handle the dot syntax for properties in the ExprEngine. by Argyrios Kyrtzidis · 15 years ago
  72. 37ab726 [analyzer] Introduce ObjCMessage which represents both explicit ObjC message expressions and implicit by Argyrios Kyrtzidis · 15 years ago
  73. d99bd55 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (98%) from clang/lib/EntoSA/Checkers/CallAndMessageChecker.cpp]
  74. ef33f09 Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (98%) from clang/lib/GR/Checkers/CallAndMessageChecker.cpp]
  75. 98857c9 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  76. 1696f50 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  77. ca08fba [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  78. a700e97 [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/GR/CallAndMessageChecker.cpp]
  79. 2ff5ab1 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/Checker/CallAndMessageChecker.cpp]
  80. 8d602a8 [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  81. 750b7ac Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 15 years ago
  82. 90af909 Merge ValueManager into SValBuilder. by Ted Kremenek · 15 years ago
  83. dc89142 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 15 years ago
  84. 3d6c0c0 Tweak nil receiver checker to not warning about 64-bit return values. by Ted Kremenek · 15 years ago
  85. 5cdaeaa Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 15 years ago
  86. 8de0a3d MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 15 years ago
  87. 8385a06 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 15 years ago
  88. 9a12919 Overhaul the AST representation of Objective-C message send by Douglas Gregor · 15 years ago
  89. b11416d Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. by Benjamin Kramer · 16 years ago
  90. c048322 Checker: random include cleanup. by Benjamin Kramer · 16 years ago
  91. c342c9c Refactor argument checking in CallAndMessageChecker to be the same by Ted Kremenek · 16 years ago
  92. 9c05f4e Detect pass-by-value arguments that are structs that contain uninitialized data. by Ted Kremenek · 16 years ago
  93. 57f0989 Revert 95541. by Ted Kremenek · 16 years ago
  94. 500f49f Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
  95. fe0fc40 Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter' by Ted Kremenek · 16 years ago
  96. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (98%) from clang/lib/Analysis/CallAndMessageChecker.cpp]
  97. af35329 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 16 years ago
  98. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  99. 1fc1f20 For the nil-receiver checker, take into account the behavioral changes that got introduced in Mac OS X 10.5 and later, notably return values of double, float, etc., will not be garbage. Fixes <rdar://problem/6829160>. by Ted Kremenek · 16 years ago
  100. 005e8a0 Cleanups and fixes to the nil-receiver checker, some of it fallout the by Ted Kremenek · 16 years ago