1. 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
  2. b9d17f9 Migrate the retain/release checker to not manage the RefBindings::Factory object by Ted Kremenek · 16 years ago
  3. ffdbefd Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to use the generic data map instead. by Ted Kremenek · 16 years ago
  4. e7aa9a1 Added GRStateTrait.h, which includes boilerplate code for creating specializations of GRStateTrait<>. by Ted Kremenek · 16 years ago
  5. 5d796aa It's spelt "uninitialized". by Nick Lewycky · 16 years ago
  6. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  7. fa07784 Default initialize only pointers and integer types (for now). by Ted Kremenek · 16 years ago
  8. 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 16 years ago
  9. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
  10. 62e1dcc Rename ValueState.h -> GRState.h Rename ValueState.cpp -> GRState.cpp by Ted Kremenek · 16 years ago
  11. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  12. 72c59d0 Initialize tracked local variables to undefined. by Ted Kremenek · 16 years ago
  13. 5c135b4 Fix memory leak found by Sam Bishop: delete WList in the dstor of GRCoreEngineImpl. by Ted Kremenek · 16 years ago
  14. 4502022 Added GenericDataMap as a component of ValueState. by Ted Kremenek · 16 years ago
  15. 9853045 More cleanups. Add missing #include. by Ted Kremenek · 16 years ago
  16. af9dc27 More summary generation refactoring. by Ted Kremenek · 16 years ago
  17. 9e476de Add variadic addInstMethSummary() and refactored addPanicSummary() to use this method. (code reduction). by Ted Kremenek · 16 years ago
  18. c4a1dea More #include cleaning by Daniel Dunbar · 16 years ago
  19. 7bfaaae * Remove isInSystemHeader() from DiagClient, move it to SourceManager by Nico Weber · 16 years ago
  20. d9f6910 rename PreDefinedExpr -> PredefinedExpr by Chris Lattner · 16 years ago
  21. 23f7823 Added FIXME. by Ted Kremenek · 16 years ago
  22. e12691c Don't use Expr::isIntegerConstantExpr just to check if a pointer value is initialize to NULL. by Ted Kremenek · 16 years ago
  23. 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
  24. b238c3e Don't flag any dead stores for variables marked unused. by Ted Kremenek · 16 years ago
  25. 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
  26. 48d5faf Change 'dead store (++/--)' to 'dead increment' by Ted Kremenek · 16 years ago
  27. 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
  28. b7714b2 Add range highlighting for path-sensitive return-of-stack-address check. by Ted Kremenek · 16 years ago
  29. 8b51fd7 remove some unneeded calls to getCanonicalType by Chris Lattner · 16 years ago
  30. b77792e change more instances of QualType::getCanonicalType to call by Chris Lattner · 16 years ago
  31. 694eefb Have the UnusedIvar check skip ivars with setters/getters created by @synthesize. by Ted Kremenek · 16 years ago
  32. 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
  33. 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
  34. fc7ff55 Don't emit 'dead initialization' warnings for variables marked 'unused'. by Ted Kremenek · 16 years ago
  35. ec455e0 Use ASTContext::isObjCObjectPointerType() to check if an ivar is a reference to an Objective-C object. by Ted Kremenek · 16 years ago
  36. 17a61db Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 16 years ago
  37. f071e18 Don't issue a missing +dealloc warning for classes that just contain SEL ivars. by Ted Kremenek · 16 years ago
  38. b0f3632 Issue dead store warnings for preincrements involved in a subexpression. by Ted Kremenek · 16 years ago
  39. 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
  40. 2cfac22 Further refine dead store checking to distinguish between dead stores and dead increments. by Ted Kremenek · 16 years ago
  41. cc87ba2 Properly skip IBOutlets when checking for unused ivars. by Ted Kremenek · 16 years ago
  42. 6678f7f Ivar access mode ObjCIvarDecl::None == ObjCIvarDecl::Protected, not private. by Ted Kremenek · 16 years ago
  43. 395aaf2 Add prototype implementation of unused ivar check. by Ted Kremenek · 16 years ago
  44. 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 16 years ago
  45. e3ae82a Rename file. by Ted Kremenek · 16 years ago
  46. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  47. 1a80448 "currentHandler" is a nullary selector by Ted Kremenek · 16 years ago
  48. 2d1086c Fix caching bug. by Ted Kremenek · 16 years ago
  49. 70a733e Add panic support for NSAssertionHandler. by Ted Kremenek · 16 years ago
  50. 7386d77 Add panic function. by Ted Kremenek · 16 years ago
  51. 75b0a1c Fix 80 col violation by Ted Kremenek · 16 years ago
  52. 40fc5c7 Fix regression by explicitly checking if we are negating a SymIntConstantVal. by Ted Kremenek · 16 years ago
  53. 1e38f85 Improve path-sensitivity when using the logical not operator. by Ted Kremenek · 16 years ago
  54. 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
  55. 6297a8e Created ValueStateSet class to manage the creation of multiple states by a method. by Ted Kremenek · 16 years ago
  56. 35912db Update signature of EvalAssume. by Ted Kremenek · 16 years ago
  57. 729a9a2 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
  58. b48c645 Remove redundant logic. by Ted Kremenek · 16 years ago
  59. 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
  60. f59bf48 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. by Ted Kremenek · 16 years ago
  61. 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
  62. f496ee1 Fix transfer function logic in GRSimpleVals for integer casts: only support casts from integers to integers. by Ted Kremenek · 16 years ago
  63. f4ebf42 For the MissingDealloc check, don't treat IBOutlet ivars as being needed to be released by Ted Kremenek · 16 years ago
  64. f9c2a5d Distinguish between dead stores and dead initializations. by Ted Kremenek · 16 years ago
  65. 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
  66. 37d785b Support retain/release tracking for CoreGraphics (CGxxxRef) objects. by Ted Kremenek · 16 years ago
  67. 8f26986 Refactor Dead Stores error reporting to use the simplified BugReporter::EmitBasicReport interface. by Ted Kremenek · 16 years ago
  68. 5720207 Added method "EmitBasicReport" to BugReporter to simplify the emission of simple bug diagnostics. by Ted Kremenek · 16 years ago
  69. e4773eb Tidy up error message. by Ted Kremenek · 16 years ago
  70. 0d8019e Add new check: -check-objc-methodsigs. This check scans methods in by Ted Kremenek · 16 years ago
  71. 078c0bc Fix comment. by Ted Kremenek · 16 years ago
  72. 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
  73. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  74. e569031 Remove unused class AnnotatedPath. by Ted Kremenek · 16 years ago
  75. d72ee90 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 16 years ago
  76. 1fa7f58 Remove getParentMap() from GRExprEngine. by Ted Kremenek · 16 years ago
  77. 070a825 Fix PR2519: correctly handle CFDictionaryCreate. by Ted Kremenek · 16 years ago
  78. 8133a26 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 16 years ago
  79. e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
  80. 00fed8d Do not emit a "missing -dealloc" warning if a class contains no ivars that are pointers. by Ted Kremenek · 16 years ago
  81. 8c5633e Use conjured symbols for variables whose values are invalidated when by Ted Kremenek · 16 years ago
  82. 0364865 Fix a bug in the dead stores checker reported in the following email: by Ted Kremenek · 16 years ago
  83. aeca963 Skip the "-dealloc" check if a ObjC class contains no ivars. by Ted Kremenek · 16 years ago
  84. 3cd483c For the -dealloc checker, check the LangOptions to determine whether or not the code is compiled with GC. by Ted Kremenek · 16 years ago
  85. 7032f46 Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail by Ted Kremenek · 16 years ago
  86. db09a4d Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc]. by Ted Kremenek · 16 years ago
  87. e207558 Unify the code path for the Dead Stores checker to always use the BugReporter interface. by Ted Kremenek · 16 years ago
  88. c095997 Refactored some of the BugReporter interface so that data such as the ASTContext&, PathDiagnosticClient*, can be provided by an external source. by Ted Kremenek · 16 years ago
  89. 8b23361 GRExprEngine now expects the LiveVariables information to be provided by its creator. by Ted Kremenek · 16 years ago
  90. 17fdf95 Added version of CheckDeadStores that accepts a client-provided LiveVariables object. by Ted Kremenek · 16 years ago
  91. 179064e Unlike NSWindow objects, NSPanel objects initially do not have self-ownership. by Ted Kremenek · 16 years ago
  92. 80d753f Temporarily treat "Autorelease" as "StopTracking". This is the original behavior. by Ted Kremenek · 16 years ago
  93. e19f449 Added "Autorelease" ArgEffect to better simulate "autorelease" messages. Right by Ted Kremenek · 16 years ago
  94. 04bc876 Added a simple static analysis check to look for improper uses of CFCreateNumber. by Ted Kremenek · 16 years ago
  95. 553cf18 CF ref checker: by Ted Kremenek · 16 years ago
  96. ab59227 Remove unneeded method arguments. by Ted Kremenek · 16 years ago
  97. 53301ba Cache ObjC summaries by IdentifierInfo*, not by ObjCInterfaceDecl. by Ted Kremenek · 16 years ago
  98. 4f22a78 Added ObjCSummaryCache, a new summary cache object to cache summaries for Objective-C methods. Instead of mapping from Selectors -> Summaries, we will now map from (ObjCInterfaceDecl*,Selectors) -> Summaries. This will allow more nuanced summary generation. This patch just swaps in the new data structure; the rest of the code works as before by allowing the ObjCInterfaceDecl* to be null. by Ted Kremenek · 16 years ago
  99. 1f180c3 Rename summary methods for "instance methods" to "class methods" (the names got screwed up). No functionality change. by Ted Kremenek · 16 years ago
  100. a734470 The CF retain/release checker now assumes that allocations do not fail. Eventually we will add a flag to the driver to enable allocation failures (documented as a FIXME). by Ted Kremenek · 16 years ago