Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / f21a4b4e285eefbe7d7bffe58f515b34b7a4cc2e / lib / Analysis
  1. f21a4b4 Use DeclStmt::decl_iterator instead of using Decl::getDecl(). Soon DeclStmts will wrap group of Decls. by Ted Kremenek · 16 years ago
  2. 722c288 Fix typos. by Zhongxing Xu · 16 years ago
  3. c1d1bbf Remove redundant parameter and rename StMgr to StateMgr. by Zhongxing Xu · 16 years ago
  4. 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 16 years ago
  5. cc9ac41 Enhance NSError** checking with analogous checking for CFErrorRef*. by Ted Kremenek · 16 years ago
  6. 8da6ca9 Use LVal::IsLValType(T) instead of checking to see if the type is an "lvalue" type directly. by Ted Kremenek · 16 years ago
  7. 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 16 years ago
  8. 5a236cb Revert last patch, but add a fixme by Ted Kremenek · 16 years ago
  9. 855cd90 Within the transfer function of UnaryOperatorExpr, handle implicit promotions by Ted Kremenek · 16 years ago
  10. 062bae0 Revert 56735. The old bug categories were more informative. by Ted Kremenek · 16 years ago
  11. 3a7d1e9 Change "leaks" to have the category "Performance". by Ted Kremenek · 16 years ago
  12. fcd06f7 Move VLA processing logic from LiveVariables to CFG construction. This way all dataflow analyses "see" the VLA size expressions. by Ted Kremenek · 16 years ago
  13. 84fa6b9 Examine VLA size expressions when computing liveness information. by Ted Kremenek · 16 years ago
  14. a05131a Change casing of bug type. by Ted Kremenek · 16 years ago
  15. b344f91 The checks in BasicObjCFoundationChecks now have a category: "API Misuse (Apple)" by Ted Kremenek · 16 years ago
  16. 0b00785 The "unused ivar" check now has a category: "Optimization" by Ted Kremenek · 16 years ago
  17. 2713347 Built-in checks now have a category: "Logic Errors" by Ted Kremenek · 16 years ago
  18. 62059e8 Add a bug category for NSError** checks. by Ted Kremenek · 16 years ago
  19. 8c036c7 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 16 years ago
  20. 82bae3f Add PostStore, a new ProgramPoint to distinguish between 'stores' and other PostStmts. by Ted Kremenek · 16 years ago
  21. a8fe39f Bug fix: for the base transfer function logic for casts, handle const casts as just propagating the value. by Ted Kremenek · 16 years ago
  22. 0a41e5a Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu. by Ted Kremenek · 16 years ago
  23. 2675875 When we have a binary expression 'int operator symbol', properly rewrite this as by Ted Kremenek · 16 years ago
  24. 94b8312 Add an omitted case for AssumeSymInt. by Zhongxing Xu · 16 years ago
  25. f968308 Add panic function "__assert_fail". by Ted Kremenek · 16 years ago
  26. 37fc826 Register the implicit null-dereferenced object as a notable symbol. by Ted Kremenek · 16 years ago
  27. 7360fda Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced. by Ted Kremenek · 16 years ago
  28. cfdf9b4 Change implementation of NSError** coding-style check to be invoked at the end of the retain/release analysis. by Ted Kremenek · 16 years ago
  29. f45d18c Implemented one of the checks requested in PR 2600: by Ted Kremenek · 16 years ago
  30. 8c3e7fb Minor pass-sensitivity improvement: by Ted Kremenek · 16 years ago
  31. d452758 ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 16 years ago
  32. a95d375 Patch by Csaba Hruska! by Ted Kremenek · 16 years ago
  33. c3517eb Add missing spaces in path diagnostics. by Ted Kremenek · 16 years ago
  34. 60dbad8 Store: (static analyzer) by Ted Kremenek · 16 years ago
  35. 0e194dd Add newline at end of file. by Daniel Dunbar · 16 years ago
  36. d19e21b Added LLVM comment header. by Zhongxing Xu · 16 years ago
  37. 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 16 years ago
  38. d70900b Remove dead method. by Ted Kremenek · 16 years ago
  39. 2bc39c6 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 16 years ago
  40. c0637cf Remove BasicStore.h (migrated function prototype for CreateBasicStore() to Store.h) by Ted Kremenek · 16 years ago
  41. 05d0977 Remove Regions.h and Regions.cpp, since we are now using an even more abstract representation of "memory regions" in the static analyzer. by Ted Kremenek · 16 years ago
  42. 5f81c44 Make store "Regions" and "Bindings" more abstract instead of concrete variants. by Ted Kremenek · 16 years ago
  43. 982e674 Fixed analyzer caching bug involving the transfer function for loads. by Ted Kremenek · 16 years ago
  44. e6c62e3 Fixed analyzer caching bug in DeclStmt. by Ted Kremenek · 16 years ago
  45. 05125f1 Make the destructor of ConstraintManager virtual. by Ted Kremenek · 16 years ago
  46. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago
  47. 2e28754 Added "Auditor" interface for auditing the construction of ExplodedGraphs. by Ted Kremenek · 16 years ago
  48. 45b8789 Make implementation of ExplodedNodeImpl::addPredecessor out-of-line. by Ted Kremenek · 16 years ago
  49. 38a23ba Remove default value for 'Pred' argument to GRCoreEngineImpl::GenerateNode(). by Ted Kremenek · 16 years ago
  50. d0c4b28 Added 'extents' for Regions. by Ted Kremenek · 16 years ago
  51. 405674c adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 16 years ago
  52. e53c069 Simplify interface to Store::AddDecl by Ted Kremenek · 16 years ago
  53. a950fe2 Modify comments. by Zhongxing Xu · 16 years ago
  54. bbe8ff4 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 16 years ago
  55. df9cdf8 Patch by Zhongxing Xu: by Ted Kremenek · 16 years ago
  56. 4f7b483 Patch by Zhongxing Xu: We should set back the modified ConstEq map. by Ted Kremenek · 16 years ago
  57. a622d8c Move store pretty-printing logic inside of StoreManager (previously in GRState). by Ted Kremenek · 16 years ago
  58. caa3724 Patch by Zhongxing Xu! by Ted Kremenek · 16 years ago
  59. 0835a3c Add ExplicitCastExpr to replace the current CastExpr, and have ImplicitCastExpr and ExplicitCastExpr derive from a common base class (CastExpr): by Argyrios Kyrtzidis · 16 years ago
  60. 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
  61. b9d17f9 Migrate the retain/release checker to not manage the RefBindings::Factory object by Ted Kremenek · 16 years ago
  62. ffdbefd Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to use the generic data map instead. by Ted Kremenek · 16 years ago
  63. e7aa9a1 Added GRStateTrait.h, which includes boilerplate code for creating specializations of GRStateTrait<>. by Ted Kremenek · 16 years ago
  64. 5d796aa It's spelt "uninitialized". by Nick Lewycky · 16 years ago
  65. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  66. fa07784 Default initialize only pointers and integer types (for now). by Ted Kremenek · 16 years ago
  67. 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 16 years ago
  68. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
  69. 62e1dcc Rename ValueState.h -> GRState.h Rename ValueState.cpp -> GRState.cpp by Ted Kremenek · 16 years ago
  70. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  71. 72c59d0 Initialize tracked local variables to undefined. by Ted Kremenek · 16 years ago
  72. 5c135b4 Fix memory leak found by Sam Bishop: delete WList in the dstor of GRCoreEngineImpl. by Ted Kremenek · 16 years ago
  73. 4502022 Added GenericDataMap as a component of ValueState. by Ted Kremenek · 16 years ago
  74. 9853045 More cleanups. Add missing #include. by Ted Kremenek · 16 years ago
  75. af9dc27 More summary generation refactoring. by Ted Kremenek · 16 years ago
  76. 9e476de Add variadic addInstMethSummary() and refactored addPanicSummary() to use this method. (code reduction). by Ted Kremenek · 16 years ago
  77. c4a1dea More #include cleaning by Daniel Dunbar · 16 years ago
  78. 7bfaaae * Remove isInSystemHeader() from DiagClient, move it to SourceManager by Nico Weber · 16 years ago
  79. d9f6910 rename PreDefinedExpr -> PredefinedExpr by Chris Lattner · 16 years ago
  80. 23f7823 Added FIXME. by Ted Kremenek · 16 years ago
  81. e12691c Don't use Expr::isIntegerConstantExpr just to check if a pointer value is initialize to NULL. by Ted Kremenek · 16 years ago
  82. 2619be0 Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor improvements to path-sensitivity. Right now we basically treat 'x > y' and 'x < y' as implying 'x != y', but this restriction will only inevitably apply to our must rudimentary value tracking component (we'll implement more advanced value reasoning later). by Ted Kremenek · 16 years ago
  83. b238c3e Don't flag any dead stores for variables marked unused. by Ted Kremenek · 16 years ago
  84. 14f8b4f Added decl_iterator to DeclStmt to provide an abstract interface to iterate over the ScopedDecls of a DeclStmt. by Ted Kremenek · 16 years ago
  85. 48d5faf Change 'dead store (++/--)' to 'dead increment' by Ted Kremenek · 16 years ago
  86. 22bda88 Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned. by Ted Kremenek · 16 years ago
  87. b7714b2 Add range highlighting for path-sensitive return-of-stack-address check. by Ted Kremenek · 16 years ago
  88. 8b51fd7 remove some unneeded calls to getCanonicalType by Chris Lattner · 16 years ago
  89. b77792e change more instances of QualType::getCanonicalType to call by Chris Lattner · 16 years ago
  90. 694eefb Have the UnusedIvar check skip ivars with setters/getters created by @synthesize. by Ted Kremenek · 16 years ago
  91. a95acd6 Remove call to isSEL and isSEL itself since the call is dead (isObjCObjectPointerType() will never return true for selectors). by Ted Kremenek · 16 years ago
  92. 684b9d2 Only warn about missing/incomplete -dealloc implementations when a class contains a non-SEL, non-IBOutlet ivar that references an ObjC object. by Ted Kremenek · 16 years ago
  93. fc7ff55 Don't emit 'dead initialization' warnings for variables marked 'unused'. by Ted Kremenek · 16 years ago
  94. ec455e0 Use ASTContext::isObjCObjectPointerType() to check if an ivar is a reference to an Objective-C object. by Ted Kremenek · 16 years ago
  95. 17a61db Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 16 years ago
  96. f071e18 Don't issue a missing +dealloc warning for classes that just contain SEL ivars. by Ted Kremenek · 16 years ago
  97. b0f3632 Issue dead store warnings for preincrements involved in a subexpression. by Ted Kremenek · 16 years ago
  98. 1c61b47 Don't flag dead stores when the result of a preincrement/predecrement is used in an enclosing expression. by Ted Kremenek · 16 years ago
  99. 2cfac22 Further refine dead store checking to distinguish between dead stores and dead increments. by Ted Kremenek · 16 years ago
  100. cc87ba2 Properly skip IBOutlets when checking for unused ivars. by Ted Kremenek · 16 years ago