Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / dd972f20dc2bd3609d833893e5c6544ac09b59a9 / lib / Analysis
  1. 60dbad8 Store: (static analyzer) by Ted Kremenek · 16 years ago
  2. 0e194dd Add newline at end of file. by Daniel Dunbar · 16 years ago
  3. d19e21b Added LLVM comment header. by Zhongxing Xu · 16 years ago
  4. 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 16 years ago
  5. d70900b Remove dead method. by Ted Kremenek · 16 years ago
  6. 2bc39c6 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 16 years ago
  7. c0637cf Remove BasicStore.h (migrated function prototype for CreateBasicStore() to Store.h) by Ted Kremenek · 16 years ago
  8. 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
  9. 5f81c44 Make store "Regions" and "Bindings" more abstract instead of concrete variants. by Ted Kremenek · 16 years ago
  10. 982e674 Fixed analyzer caching bug involving the transfer function for loads. by Ted Kremenek · 16 years ago
  11. e6c62e3 Fixed analyzer caching bug in DeclStmt. by Ted Kremenek · 16 years ago
  12. 05125f1 Make the destructor of ConstraintManager virtual. by Ted Kremenek · 16 years ago
  13. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago
  14. 2e28754 Added "Auditor" interface for auditing the construction of ExplodedGraphs. by Ted Kremenek · 16 years ago
  15. 45b8789 Make implementation of ExplodedNodeImpl::addPredecessor out-of-line. by Ted Kremenek · 16 years ago
  16. 38a23ba Remove default value for 'Pred' argument to GRCoreEngineImpl::GenerateNode(). by Ted Kremenek · 16 years ago
  17. d0c4b28 Added 'extents' for Regions. by Ted Kremenek · 16 years ago
  18. 405674c adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 16 years ago
  19. e53c069 Simplify interface to Store::AddDecl by Ted Kremenek · 16 years ago
  20. a950fe2 Modify comments. by Zhongxing Xu · 16 years ago
  21. bbe8ff4 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 16 years ago
  22. df9cdf8 Patch by Zhongxing Xu: by Ted Kremenek · 16 years ago
  23. 4f7b483 Patch by Zhongxing Xu: We should set back the modified ConstEq map. by Ted Kremenek · 16 years ago
  24. a622d8c Move store pretty-printing logic inside of StoreManager (previously in GRState). by Ted Kremenek · 16 years ago
  25. caa3724 Patch by Zhongxing Xu! by Ted Kremenek · 16 years ago
  26. 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
  27. 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
  28. b9d17f9 Migrate the retain/release checker to not manage the RefBindings::Factory object by Ted Kremenek · 16 years ago
  29. ffdbefd Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to use the generic data map instead. by Ted Kremenek · 16 years ago
  30. e7aa9a1 Added GRStateTrait.h, which includes boilerplate code for creating specializations of GRStateTrait<>. by Ted Kremenek · 16 years ago
  31. 5d796aa It's spelt "uninitialized". by Nick Lewycky · 16 years ago
  32. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  33. fa07784 Default initialize only pointers and integer types (for now). by Ted Kremenek · 16 years ago
  34. 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 16 years ago
  35. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
  36. 62e1dcc Rename ValueState.h -> GRState.h Rename ValueState.cpp -> GRState.cpp by Ted Kremenek · 16 years ago
  37. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  38. 72c59d0 Initialize tracked local variables to undefined. by Ted Kremenek · 16 years ago
  39. 5c135b4 Fix memory leak found by Sam Bishop: delete WList in the dstor of GRCoreEngineImpl. by Ted Kremenek · 16 years ago
  40. 4502022 Added GenericDataMap as a component of ValueState. by Ted Kremenek · 16 years ago
  41. 9853045 More cleanups. Add missing #include. by Ted Kremenek · 16 years ago
  42. af9dc27 More summary generation refactoring. by Ted Kremenek · 16 years ago
  43. 9e476de Add variadic addInstMethSummary() and refactored addPanicSummary() to use this method. (code reduction). by Ted Kremenek · 16 years ago
  44. c4a1dea More #include cleaning by Daniel Dunbar · 16 years ago
  45. 7bfaaae * Remove isInSystemHeader() from DiagClient, move it to SourceManager by Nico Weber · 16 years ago
  46. d9f6910 rename PreDefinedExpr -> PredefinedExpr by Chris Lattner · 16 years ago
  47. 23f7823 Added FIXME. by Ted Kremenek · 16 years ago
  48. e12691c Don't use Expr::isIntegerConstantExpr just to check if a pointer value is initialize to NULL. by Ted Kremenek · 16 years ago
  49. 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
  50. b238c3e Don't flag any dead stores for variables marked unused. by Ted Kremenek · 16 years ago
  51. 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
  52. 48d5faf Change 'dead store (++/--)' to 'dead increment' by Ted Kremenek · 16 years ago
  53. 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
  54. b7714b2 Add range highlighting for path-sensitive return-of-stack-address check. by Ted Kremenek · 16 years ago
  55. 8b51fd7 remove some unneeded calls to getCanonicalType by Chris Lattner · 16 years ago
  56. b77792e change more instances of QualType::getCanonicalType to call by Chris Lattner · 16 years ago
  57. 694eefb Have the UnusedIvar check skip ivars with setters/getters created by @synthesize. by Ted Kremenek · 16 years ago
  58. 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
  59. 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
  60. fc7ff55 Don't emit 'dead initialization' warnings for variables marked 'unused'. by Ted Kremenek · 16 years ago
  61. ec455e0 Use ASTContext::isObjCObjectPointerType() to check if an ivar is a reference to an Objective-C object. by Ted Kremenek · 16 years ago
  62. 17a61db Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 16 years ago
  63. f071e18 Don't issue a missing +dealloc warning for classes that just contain SEL ivars. by Ted Kremenek · 16 years ago
  64. b0f3632 Issue dead store warnings for preincrements involved in a subexpression. by Ted Kremenek · 16 years ago
  65. 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
  66. 2cfac22 Further refine dead store checking to distinguish between dead stores and dead increments. by Ted Kremenek · 16 years ago
  67. cc87ba2 Properly skip IBOutlets when checking for unused ivars. by Ted Kremenek · 16 years ago
  68. 6678f7f Ivar access mode ObjCIvarDecl::None == ObjCIvarDecl::Protected, not private. by Ted Kremenek · 16 years ago
  69. 395aaf2 Add prototype implementation of unused ivar check. by Ted Kremenek · 16 years ago
  70. 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 16 years ago
  71. e3ae82a Rename file. by Ted Kremenek · 16 years ago
  72. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  73. 1a80448 "currentHandler" is a nullary selector by Ted Kremenek · 16 years ago
  74. 2d1086c Fix caching bug. by Ted Kremenek · 16 years ago
  75. 70a733e Add panic support for NSAssertionHandler. by Ted Kremenek · 16 years ago
  76. 7386d77 Add panic function. by Ted Kremenek · 16 years ago
  77. 75b0a1c Fix 80 col violation by Ted Kremenek · 16 years ago
  78. 40fc5c7 Fix regression by explicitly checking if we are negating a SymIntConstantVal. by Ted Kremenek · 16 years ago
  79. 1e38f85 Improve path-sensitivity when using the logical not operator. by Ted Kremenek · 16 years ago
  80. ad8329e Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is unfortunately needed because virtual methods with the same name can be hidden by subclasses. by Ted Kremenek · 16 years ago
  81. 6297a8e Created ValueStateSet class to manage the creation of multiple states by a method. by Ted Kremenek · 16 years ago
  82. 35912db Update signature of EvalAssume. by Ted Kremenek · 16 years ago
  83. 729a9a2 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
  84. b48c645 Remove redundant logic. by Ted Kremenek · 16 years ago
  85. df7533b Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of the methods only return an RVal; we want them to be able to create an arbitrary number of states. by Ted Kremenek · 16 years ago
  86. f59bf48 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. by Ted Kremenek · 16 years ago
  87. cd512dc Fix regression introduced by http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080714/006514.html. by Ted Kremenek · 16 years ago
  88. f496ee1 Fix transfer function logic in GRSimpleVals for integer casts: only support casts from integers to integers. by Ted Kremenek · 16 years ago
  89. f4ebf42 For the MissingDealloc check, don't treat IBOutlet ivars as being needed to be released by Ted Kremenek · 16 years ago
  90. f9c2a5d Distinguish between dead stores and dead initializations. by Ted Kremenek · 16 years ago
  91. 10161bf isRetain() and isRelease() now only returns true if "Retain"/"Release" appears in the suffix of a function's name. by Ted Kremenek · 16 years ago
  92. 37d785b Support retain/release tracking for CoreGraphics (CGxxxRef) objects. by Ted Kremenek · 16 years ago
  93. 8f26986 Refactor Dead Stores error reporting to use the simplified BugReporter::EmitBasicReport interface. by Ted Kremenek · 16 years ago
  94. 5720207 Added method "EmitBasicReport" to BugReporter to simplify the emission of simple bug diagnostics. by Ted Kremenek · 16 years ago
  95. e4773eb Tidy up error message. by Ted Kremenek · 16 years ago
  96. 0d8019e Add new check: -check-objc-methodsigs. This check scans methods in by Ted Kremenek · 16 years ago
  97. 078c0bc Fix comment. by Ted Kremenek · 16 years ago
  98. bdb435d Refactored auditor interface within GRExprEngine and GRCoreEngine to use a "batch auditor" to dispatch to specialized auditors instead of having a separate vector for each audited Expr*. This not only provides a much cleaner implementation, but also allows us to install auditors for any expression. by Ted Kremenek · 16 years ago
  99. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  100. e569031 Remove unused class AnnotatedPath. by Ted Kremenek · 16 years ago