Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 76dafa7e6487c0b51fadebd16bdefe0e0e23d595 / lib / StaticAnalyzer / Checkers / CallAndMessageChecker.cpp
  1. a1f81bb [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. by Jordan Rose · 13 years ago
  2. 7f66085 [analyzer] If we call a C++ method on an object, assume it's non-null. by Jordan Rose · 13 years ago
  3. a869518 [analyzer] Use a more robust check for null in CallAndMessageChecker. by Jordan Rose · 13 years ago
  4. 6853799 [analyzer] When a symbol is null, we should track its constraints. by Jordan Rose · 13 years ago
  5. 9da59a6 [analyzer] Track null/uninitialized C++ objects used in method calls. by Jordan Rose · 13 years ago
  6. f540c54 [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. by Jordan Rose · 13 years ago
  7. fc999ac Add static analyzer check for calling a C++ instance method with a null/uninitialized pointer. by Ted Kremenek · 13 years ago
  8. 8919e68 [analyzer] Combine all ObjC message CallEvents into ObjCMethodCall. by Jordan Rose · 13 years ago
  9. fb3cc8b [analyzer] If 'super' is known to be nil, we can still mark its range. by Jordan Rose · 13 years ago
  10. fe6a011 [analyzer] Convert existing checkers to use check::preCall and check::postCall. by Jordan Rose · 13 years ago
  11. de507ea [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. by Jordan Rose · 13 years ago
  12. cde8cdb [analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends. by Jordan Rose · 13 years ago
  13. 55037cd [analyzer] Convert CallAndMessageChecker and ObjCSelfInitChecker to CallEvent. by Jordan Rose · 13 years ago
  14. 581deb3 Revert Decl's iterators back to pointer value_type rather than reference value_type by David Blaikie · 13 years ago
  15. facde17 Remove unused private member variables found by clang's new -Wunused-private-field. by Benjamin Kramer · 13 years ago
  16. 262bc18 Remove the ref/value inconsistency in filter_decl_iterator. by David Blaikie · 13 years ago
  17. 76aadc3 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 13 years ago
  18. e4d653b Teak CallAndMessageChecker to only warn about uninitialized struct fields in call arguments by Ted Kremenek · 13 years ago
  19. b673a41 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
  20. f7ccbad Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 14 years ago
  21. 6f42b62 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  22. 8fe83e1 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 14 years ago
  23. 8f1e656 Fix an assertion failure in isMacOSXVersionLT for IOS targets. by Bob Wilson · 14 years ago
  24. 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  25. 1437425 [analyzer] Rename Store::Retrieve() -> getBinding(). by Anna Zaks · 14 years ago
  26. 5eca482 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  27. a2a8603 [analyzer] CheckerContext::getPredecessor() cleanup by Anna Zaks · 14 years ago
  28. 4a037c7 [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
  29. 0bd6b11 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 14 years ago
  30. 063e088 [analyzer] Simplify CheckerContext by Anna Zaks · 14 years ago
  31. b8989f2 Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 14 years ago
  32. d1e5a89 [analyzer] Remove TransferFuncs.h, then deal with the fallout. by Jordy Rose · 14 years ago
  33. bcfd1f5 Extend the ASTContext constructor to delay the initialization of by Douglas Gregor · 14 years ago
  34. 50bbc16 Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). by Anna Zaks · 14 years ago
  35. e172e8b 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
  36. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  37. 9c378f7 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
  38. 9697934 [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
  39. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 14 years ago
  40. aa7333c Update for llvm commit r134291. by Eric Christopher · 14 years ago
  41. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  42. d84f422 [analzyer] Migrate CallAndMessageChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  43. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  44. 04291a7 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h by Argyrios Kyrtzidis · 15 years ago
  45. 14429b9 [analyzer] Handle the dot syntax for properties in the ExprEngine. by Argyrios Kyrtzidis · 15 years ago
  46. 432424d [analyzer] Introduce ObjCMessage which represents both explicit ObjC message expressions and implicit by Argyrios Kyrtzidis · 15 years ago
  47. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (98%) from lib/EntoSA/Checkers/CallAndMessageChecker.cpp]
  48. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/GR/Checkers/CallAndMessageChecker.cpp]
  49. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  50. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  51. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  52. a7af5ea [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/GR/CallAndMessageChecker.cpp]
  53. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/Checker/CallAndMessageChecker.cpp]
  54. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  55. d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 15 years ago
  56. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 15 years ago
  57. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 15 years ago
  58. 6123874 Tweak nil receiver checker to not warning about 64-bit return values. by Ted Kremenek · 15 years ago
  59. 818b433 Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 15 years ago
  60. 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 15 years ago
  61. fb87b89 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 15 years ago
  62. 04badcf Overhaul the AST representation of Objective-C message send by Douglas Gregor · 15 years ago
  63. 900fc63 Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. by Benjamin Kramer · 15 years ago
  64. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 15 years ago
  65. 8133716 Refactor argument checking in CallAndMessageChecker to be the same by Ted Kremenek · 15 years ago
  66. 091b588 Detect pass-by-value arguments that are structs that contain uninitialized data. by Ted Kremenek · 15 years ago
  67. 1397663 Revert 95541. by Ted Kremenek · 16 years ago
  68. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
  69. 6b67630 Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter' by Ted Kremenek · 16 years ago
  70. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (98%) from lib/Analysis/CallAndMessageChecker.cpp]
  71. a46e4d9 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 16 years ago
  72. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  73. f81330c 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
  74. fee96e0 Cleanups and fixes to the nil-receiver checker, some of it fallout the by Ted Kremenek · 16 years ago
  75. 2055eff Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into by Zhongxing Xu · 16 years ago
  76. d02174c rename UndefinedArgChecker to CallAndMessageChecker. by Zhongxing Xu · 16 years ago
  77. f253aa7 Rename: UndefinedArgChecker.cpp => CallAndMessageChecker.cpp by Zhongxing Xu · 16 years ago[Renamed from lib/Analysis/UndefinedArgChecker.cpp]
  78. 19d67b5 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 16 years ago
  79. c79d7d4 Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions. by Ted Kremenek · 16 years ago
  80. 64fa858 More checker refactoring. Passing undefined values in a message expression is now handled by UndefinedArgChecker. by Ted Kremenek · 16 years ago
  81. d02e232 Change *BugReport constructors to take StringRefs. by Benjamin Kramer · 16 years ago
  82. f493f49 Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCallChecker, making their implementations completely private. by Ted Kremenek · 16 years ago
  83. 2c791bd 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
  84. 8958fff Pull UndefinedArgChecker into its own files. by Zhongxing Xu · 16 years ago