Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 24ab9632d1cdff8eb228519ec0c15adbbeaef8f5 / lib / Analysis
  1. 9449ca9 More cleanups. Add missing #include. by Ted Kremenek · 16 years ago
  2. 45642a4 More summary generation refactoring. by Ted Kremenek · 16 years ago
  3. 3d6ddbb Add variadic addInstMethSummary() and refactored addPanicSummary() to use this method. (code reduction). by Ted Kremenek · 16 years ago
  4. 64789f8 More #include cleaning by Daniel Dunbar · 16 years ago
  5. d2a6ac9 * Remove isInSystemHeader() from DiagClient, move it to SourceManager by Nico Weber · 16 years ago
  6. 6990929 rename PreDefinedExpr -> PredefinedExpr by Chris Lattner · 16 years ago
  7. b515d13 Added FIXME. by Ted Kremenek · 16 years ago
  8. dfebae1 Don't use Expr::isIntegerConstantExpr just to check if a pointer value is initialize to NULL. by Ted Kremenek · 16 years ago
  9. 26da970 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
  10. 14dbe32 Don't flag any dead stores for variables marked unused. by Ted Kremenek · 16 years ago
  11. b59f9cf Added decl_iterator to DeclStmt to provide an abstract interface to iterate over the ScopedDecls of a DeclStmt. by Ted Kremenek · 16 years ago
  12. 5e3cce5 Change 'dead store (++/--)' to 'dead increment' by Ted Kremenek · 16 years ago
  13. 0303bab 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
  14. e7b3ddc Add range highlighting for path-sensitive return-of-stack-address check. by Ted Kremenek · 16 years ago
  15. b724ab2 remove some unneeded calls to getCanonicalType by Chris Lattner · 16 years ago
  16. d5a56aa change more instances of QualType::getCanonicalType to call by Chris Lattner · 16 years ago
  17. 0e8cfa4 Have the UnusedIvar check skip ivars with setters/getters created by @synthesize. by Ted Kremenek · 16 years ago
  18. b3b00ef 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
  19. 2713e58 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
  20. 542adb1 Don't emit 'dead initialization' warnings for variables marked 'unused'. by Ted Kremenek · 16 years ago
  21. e348b00 Use ASTContext::isObjCObjectPointerType() to check if an ivar is a reference to an Objective-C object. by Ted Kremenek · 16 years ago
  22. 65259c9 Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 16 years ago
  23. ccbc3ca Don't issue a missing +dealloc warning for classes that just contain SEL ivars. by Ted Kremenek · 16 years ago
  24. d1a6c67 Issue dead store warnings for preincrements involved in a subexpression. by Ted Kremenek · 16 years ago
  25. 1574600 Don't flag dead stores when the result of a preincrement/predecrement is used in an enclosing expression. by Ted Kremenek · 16 years ago
  26. 8d48164 Further refine dead store checking to distinguish between dead stores and dead increments. by Ted Kremenek · 16 years ago
  27. 083541a Properly skip IBOutlets when checking for unused ivars. by Ted Kremenek · 16 years ago
  28. 4b8805a Ivar access mode ObjCIvarDecl::None == ObjCIvarDecl::Protected, not private. by Ted Kremenek · 16 years ago
  29. 69ea785 Add prototype implementation of unused ivar check. by Ted Kremenek · 16 years ago
  30. 9f20c7c Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 16 years ago
  31. e0d2bdc Rename file. by Ted Kremenek · 16 years ago
  32. bbafa5b Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  33. 1ebce74 "currentHandler" is a nullary selector by Ted Kremenek · 16 years ago
  34. 6fbecac Fix caching bug. by Ted Kremenek · 16 years ago
  35. f2717b0 Add panic support for NSAssertionHandler. by Ted Kremenek · 16 years ago
  36. d277421 Add panic function. by Ted Kremenek · 16 years ago
  37. 43a281c Fix 80 col violation by Ted Kremenek · 16 years ago
  38. 99b4f43 Fix regression by explicitly checking if we are negating a SymIntConstantVal. by Ted Kremenek · 16 years ago
  39. 19c5407 Improve path-sensitivity when using the logical not operator. by Ted Kremenek · 16 years ago
  40. 589f881 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
  41. 9c4ce60 Created ValueStateSet class to manage the creation of multiple states by a method. by Ted Kremenek · 16 years ago
  42. 76d3166 Update signature of EvalAssume. by Ted Kremenek · 16 years ago
  43. c746954 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
  44. e4d3ffa Remove redundant logic. by Ted Kremenek · 16 years ago
  45. fa81dff 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
  46. ee93012 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. by Ted Kremenek · 16 years ago
  47. 9ea2f77 Fix regression introduced by http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080714/006514.html. by Ted Kremenek · 16 years ago
  48. d9eb592 Fix transfer function logic in GRSimpleVals for integer casts: only support casts from integers to integers. by Ted Kremenek · 16 years ago
  49. 7aa0f4e For the MissingDealloc check, don't treat IBOutlet ivars as being needed to be released by Ted Kremenek · 16 years ago
  50. 6360004 Distinguish between dead stores and dead initializations. by Ted Kremenek · 16 years ago
  51. a48ea85 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
  52. 4c5378c Support retain/release tracking for CoreGraphics (CGxxxRef) objects. by Ted Kremenek · 16 years ago
  53. 4bd03ef Refactor Dead Stores error reporting to use the simplified BugReporter::EmitBasicReport interface. by Ted Kremenek · 16 years ago
  54. 39c766a Added method "EmitBasicReport" to BugReporter to simplify the emission of simple bug diagnostics. by Ted Kremenek · 16 years ago
  55. 9aed124 Tidy up error message. by Ted Kremenek · 16 years ago
  56. d072b89 Add new check: -check-objc-methodsigs. This check scans methods in by Ted Kremenek · 16 years ago
  57. a521db6 Fix comment. by Ted Kremenek · 16 years ago
  58. 7d4d9f3 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
  59. f22f868 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  60. 41189e8 Remove unused class AnnotatedPath. by Ted Kremenek · 16 years ago
  61. d45b9c6 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 16 years ago
  62. 7f20dfb Remove getParentMap() from GRExprEngine. by Ted Kremenek · 16 years ago
  63. ede40b7 Fix PR2519: correctly handle CFDictionaryCreate. by Ted Kremenek · 16 years ago
  64. 587ecc5 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 16 years ago
  65. 6064a36 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
  66. ea042f9 Do not emit a "missing -dealloc" warning if a class contains no ivars that are pointers. by Ted Kremenek · 16 years ago
  67. 852e3ca Use conjured symbols for variables whose values are invalidated when by Ted Kremenek · 16 years ago
  68. b4677db Fix a bug in the dead stores checker reported in the following email: by Ted Kremenek · 16 years ago
  69. f7ff2ce Skip the "-dealloc" check if a ObjC class contains no ivars. by Ted Kremenek · 16 years ago
  70. fd32dbf For the -dealloc checker, check the LangOptions to determine whether or not the code is compiled with GC. by Ted Kremenek · 16 years ago
  71. c2a9eae Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail by Ted Kremenek · 16 years ago
  72. 724133b 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
  73. eb9627b Unify the code path for the Dead Stores checker to always use the BugReporter interface. by Ted Kremenek · 16 years ago
  74. ba1c7ed 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
  75. 1607f51 GRExprEngine now expects the LiveVariables information to be provided by its creator. by Ted Kremenek · 16 years ago
  76. 3349aa1 Added version of CheckDeadStores that accepts a client-provided LiveVariables object. by Ted Kremenek · 16 years ago
  77. e44927e Unlike NSWindow objects, NSPanel objects initially do not have self-ownership. by Ted Kremenek · 16 years ago
  78. 4e1d22f Temporarily treat "Autorelease" as "StopTracking". This is the original behavior. by Ted Kremenek · 16 years ago
  79. e5a4bb0 Added "Autorelease" ArgEffect to better simulate "autorelease" messages. Right by Ted Kremenek · 16 years ago
  80. c129055 Added a simple static analysis check to look for improper uses of CFCreateNumber. by Ted Kremenek · 16 years ago
  81. 272aa85 CF ref checker: by Ted Kremenek · 16 years ago
  82. d13c187 Remove unneeded method arguments. by Ted Kremenek · 16 years ago
  83. 9f0fc79 Cache ObjC summaries by IdentifierInfo*, not by ObjCInterfaceDecl. by Ted Kremenek · 16 years ago
  84. 84f010c 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
  85. 97c1e0c Rename summary methods for "instance methods" to "class methods" (the names got screwed up). No functionality change. by Ted Kremenek · 16 years ago
  86. 6a1cc25 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
  87. 64a2e12 When using the dead-stores checker with the BugReporter class, properly capture the diagnostic associated with a specific warning and emit it. by Ted Kremenek · 16 years ago
  88. 72f52c0 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  89. fe952cb Introduce initial transfer function support for __imag__ and __real__. We don't by Ted Kremenek · 16 years ago
  90. f05eec4 Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point distinguishes between the cases when we just evaluated the transfer function of a Stmt* (PostStmt) or performed a load (PostLoad). This solves a caching bug observed in a recent bug report. by Ted Kremenek · 16 years ago
  91. faf410f Fix non-termination bug reported by Thomas Clement! by Ted Kremenek · 16 years ago
  92. 8c7c6a1 Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl. by Chris Lattner · 16 years ago
  93. 2719e98 This patch is motivated by numerous strict-aliasing warnings when compiling by Ted Kremenek · 16 years ago
  94. 988c447 Teach the CF retain checker about "_init" methods. Fixes: <rdar://problem/5956379> by Ted Kremenek · 16 years ago
  95. 9ed3e77 - Move ObjC Expresssion AST's from Expr.h => ExprObjC.h by Steve Naroff · 16 years ago
  96. 8695365 Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 16 years ago
  97. a3f30dd Expand retain/release checker to consider methods/function calls that cause a by Ted Kremenek · 16 years ago
  98. 7043166 Don't use ostringstream (pulling in <sstream>) when creating the dead store diagnostic (simply not needed). by Ted Kremenek · 16 years ago
  99. 40c8b9e Improve dead stores diagnostics to include the variable name. by Ted Kremenek · 16 years ago
  100. bb9bd73 Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression. by Ted Kremenek · 16 years ago