Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / c52435b4a254af96128c19e473071ec30cfb51f2 / clang / lib / StaticAnalyzer / Checkers / CallAndMessageChecker.cpp
  1. 3a02247 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 13 years ago
  2. 444a130 Include pruning and general cleanup. by Benjamin Kramer · 13 years ago
  3. e10d5a7 [analyzer] Rename 'EmitReport' to 'emitReport'. by Jordan Rose · 13 years ago
  4. 199f8da Make helper functions static. by Benjamin Kramer · 13 years ago
  5. a0f7d35 [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. by Jordan Rose · 13 years ago
  6. 83e4049 [analyzer] If we call a C++ method on an object, assume it's non-null. by Jordan Rose · 13 years ago
  7. a01741f [analyzer] Use a more robust check for null in CallAndMessageChecker. by Jordan Rose · 13 years ago
  8. cfb4eb2 [analyzer] When a symbol is null, we should track its constraints. by Jordan Rose · 13 years ago
  9. 92e1449 [analyzer] Track null/uninitialized C++ objects used in method calls. by Jordan Rose · 13 years ago
  10. 4f7df9b [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. by Jordan Rose · 13 years ago
  11. faef9cb Add static analyzer check for calling a C++ instance method with a null/uninitialized pointer. by Ted Kremenek · 13 years ago
  12. 627b046 [analyzer] Combine all ObjC message CallEvents into ObjCMethodCall. by Jordan Rose · 13 years ago
  13. e8d5567 [analyzer] If 'super' is known to be nil, we can still mark its range. by Jordan Rose · 13 years ago
  14. 682b316 [analyzer] Convert existing checkers to use check::preCall and check::postCall. by Jordan Rose · 13 years ago
  15. 547060b [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. by Jordan Rose · 13 years ago
  16. 6bad490 [analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends. by Jordan Rose · 13 years ago
  17. 2995349 [analyzer] Convert CallAndMessageChecker and ObjCSelfInitChecker to CallEvent. by Jordan Rose · 13 years ago
  18. 40ed297 Revert Decl's iterators back to pointer value_type rather than reference value_type by David Blaikie · 13 years ago
  19. d1d76b2 Remove unused private member variables found by clang's new -Wunused-private-field. by Benjamin Kramer · 13 years ago
  20. 2d7c57e Remove the ref/value inconsistency in filter_decl_iterator. by David Blaikie · 13 years ago
  21. 1e809b4 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 14 years ago
  22. 6762a94 Teak CallAndMessageChecker to only warn about uninitialized struct fields in call arguments by Ted Kremenek · 14 years ago
  23. 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
  24. 2c1dd27 Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 14 years ago
  25. e277899 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  26. 4903802 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 14 years ago
  27. c333749 Fix an assertion failure in isMacOSXVersionLT for IOS targets. by Bob Wilson · 14 years ago
  28. 49b1e38 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  29. 95f3321 [analyzer] Rename Store::Retrieve() -> getBinding(). by Anna Zaks · 14 years ago
  30. 632e3b7 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  31. 1c887b3 [analyzer] CheckerContext::getPredecessor() cleanup by Anna Zaks · 14 years ago
  32. 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
  33. da4c8d6 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 14 years ago
  34. b473816 [analyzer] Simplify CheckerContext by Anna Zaks · 14 years ago
  35. b89514a Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 14 years ago
  36. 087611e [analyzer] Remove TransferFuncs.h, then deal with the fallout. by Jordy Rose · 14 years ago
  37. e8bbc12 Extend the ASTContext constructor to delay the initialization of by Douglas Gregor · 14 years ago
  38. f86615c Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). by Anna Zaks · 14 years ago
  39. 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
  40. 001fd5b Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  41. 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
  42. 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
  43. 0e62c1c remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 14 years ago
  44. bf15d2b Update for llvm commit r134291. by Eric Christopher · 14 years ago
  45. 6a5674f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  46. 6d6801c5 [analzyer] Migrate CallAndMessageChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  47. f8cbac4 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  48. f99d595 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h by Argyrios Kyrtzidis · 15 years ago
  49. ffb08c4 [analyzer] Handle the dot syntax for properties in the ExprEngine. by Argyrios Kyrtzidis · 15 years ago
  50. 37ab726 [analyzer] Introduce ObjCMessage which represents both explicit ObjC message expressions and implicit by Argyrios Kyrtzidis · 15 years ago
  51. d99bd55 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (98%) from clang/lib/EntoSA/Checkers/CallAndMessageChecker.cpp]
  52. 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]
  53. 98857c9 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  54. 1696f50 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  55. ca08fba [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  56. 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]
  57. 2ff5ab1 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/Checker/CallAndMessageChecker.cpp]
  58. 8d602a8 [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  59. 750b7ac Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 15 years ago
  60. 90af909 Merge ValueManager into SValBuilder. by Ted Kremenek · 15 years ago
  61. dc89142 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 15 years ago
  62. 3d6c0c0 Tweak nil receiver checker to not warning about 64-bit return values. by Ted Kremenek · 15 years ago
  63. 5cdaeaa Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 15 years ago
  64. 8de0a3d MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 15 years ago
  65. 8385a06 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 15 years ago
  66. 9a12919 Overhaul the AST representation of Objective-C message send by Douglas Gregor · 15 years ago
  67. b11416d Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. by Benjamin Kramer · 15 years ago
  68. c048322 Checker: random include cleanup. by Benjamin Kramer · 16 years ago
  69. c342c9c Refactor argument checking in CallAndMessageChecker to be the same by Ted Kremenek · 16 years ago
  70. 9c05f4e Detect pass-by-value arguments that are structs that contain uninitialized data. by Ted Kremenek · 16 years ago
  71. 57f0989 Revert 95541. by Ted Kremenek · 16 years ago
  72. 500f49f Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
  73. fe0fc40 Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter' by Ted Kremenek · 16 years ago
  74. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (98%) from clang/lib/Analysis/CallAndMessageChecker.cpp]
  75. af35329 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 16 years ago
  76. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  77. 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
  78. 005e8a0 Cleanups and fixes to the nil-receiver checker, some of it fallout the by Ted Kremenek · 16 years ago
  79. 9e20079 Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into by Zhongxing Xu · 16 years ago
  80. 72269ec rename UndefinedArgChecker to CallAndMessageChecker. by Zhongxing Xu · 16 years ago
  81. da32375 Rename: UndefinedArgChecker.cpp => CallAndMessageChecker.cpp by Zhongxing Xu · 16 years ago[Renamed from clang/lib/Analysis/UndefinedArgChecker.cpp]
  82. f573515 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 16 years ago
  83. caf2c51 Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions. by Ted Kremenek · 16 years ago
  84. f7adea4 More checker refactoring. Passing undefined values in a message expression is now handled by UndefinedArgChecker. by Ted Kremenek · 16 years ago
  85. f4c511b Change *BugReport constructors to take StringRefs. by Benjamin Kramer · 16 years ago
  86. 4325315 Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCallChecker, making their implementations completely private. by Ted Kremenek · 16 years ago
  87. 2980b97 Minor cleanup: use BuiltinBug (which will soon be renamed) for DeferenceChecker and friends so that they always report the same bug type. by Ted Kremenek · 16 years ago
  88. ab162e1 Pull UndefinedArgChecker into its own files. by Zhongxing Xu · 16 years ago