Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / bdb435ddaafd5069becd543d638112f68825b89d / lib / Analysis
  1. 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 · 17 years ago
  2. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 17 years ago
  3. e569031 Remove unused class AnnotatedPath. by Ted Kremenek · 17 years ago
  4. d72ee90 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 17 years ago
  5. 1fa7f58 Remove getParentMap() from GRExprEngine. by Ted Kremenek · 17 years ago
  6. 070a825 Fix PR2519: correctly handle CFDictionaryCreate. by Ted Kremenek · 17 years ago
  7. 8133a26 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 17 years ago
  8. e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 17 years ago
  9. 00fed8d Do not emit a "missing -dealloc" warning if a class contains no ivars that are pointers. by Ted Kremenek · 17 years ago
  10. 8c5633e Use conjured symbols for variables whose values are invalidated when by Ted Kremenek · 17 years ago
  11. 0364865 Fix a bug in the dead stores checker reported in the following email: by Ted Kremenek · 17 years ago
  12. aeca963 Skip the "-dealloc" check if a ObjC class contains no ivars. by Ted Kremenek · 17 years ago
  13. 3cd483c For the -dealloc checker, check the LangOptions to determine whether or not the code is compiled with GC. by Ted Kremenek · 17 years ago
  14. 7032f46 Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail by Ted Kremenek · 17 years ago
  15. 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 · 17 years ago
  16. e207558 Unify the code path for the Dead Stores checker to always use the BugReporter interface. by Ted Kremenek · 17 years ago
  17. 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 · 17 years ago
  18. 8b23361 GRExprEngine now expects the LiveVariables information to be provided by its creator. by Ted Kremenek · 17 years ago
  19. 17fdf95 Added version of CheckDeadStores that accepts a client-provided LiveVariables object. by Ted Kremenek · 17 years ago
  20. 179064e Unlike NSWindow objects, NSPanel objects initially do not have self-ownership. by Ted Kremenek · 17 years ago
  21. 80d753f Temporarily treat "Autorelease" as "StopTracking". This is the original behavior. by Ted Kremenek · 17 years ago
  22. e19f449 Added "Autorelease" ArgEffect to better simulate "autorelease" messages. Right by Ted Kremenek · 17 years ago
  23. 04bc876 Added a simple static analysis check to look for improper uses of CFCreateNumber. by Ted Kremenek · 17 years ago
  24. 553cf18 CF ref checker: by Ted Kremenek · 17 years ago
  25. ab59227 Remove unneeded method arguments. by Ted Kremenek · 17 years ago
  26. 53301ba Cache ObjC summaries by IdentifierInfo*, not by ObjCInterfaceDecl. by Ted Kremenek · 17 years ago
  27. 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 · 17 years ago
  28. 1f180c3 Rename summary methods for "instance methods" to "class methods" (the names got screwed up). No functionality change. by Ted Kremenek · 17 years ago
  29. 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 · 17 years ago
  30. bd527ef 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 · 17 years ago
  31. 1a654b6 Modified the dead stores checker to... by Ted Kremenek · 17 years ago
  32. b8e26e6 Introduce initial transfer function support for __imag__ and __real__. We don't by Ted Kremenek · 17 years ago
  33. 331b0ac 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 · 17 years ago
  34. c1da441 Fix non-termination bug reported by Thomas Clement! by Ted Kremenek · 17 years ago
  35. 4111024 Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl. by Chris Lattner · 17 years ago
  36. 5549976 This patch is motivated by numerous strict-aliasing warnings when compiling by Ted Kremenek · 17 years ago
  37. 0327f77 Teach the CF retain checker about "_init" methods. Fixes: <rdar://problem/5956379> by Ted Kremenek · 17 years ago
  38. f494b57 - Move ObjC Expresssion AST's from Expr.h => ExprObjC.h by Steve Naroff · 17 years ago
  39. 1aa44c7 Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 17 years ago
  40. 3eabf1c Expand retain/release checker to consider methods/function calls that cause a by Ted Kremenek · 17 years ago
  41. c07ba35 Don't use ostringstream (pulling in <sstream>) when creating the dead store diagnostic (simply not needed). by Ted Kremenek · 17 years ago
  42. 3eb817e Improve dead stores diagnostics to include the variable name. by Ted Kremenek · 17 years ago
  43. 5c96c27 Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression. by Ted Kremenek · 17 years ago
  44. f742794 fix warning with gcc 4.1 (ptr to bool convertion) by Nuno Lopes · 17 years ago
  45. 489ecd5 Micro-optimization when checking for panic functions. by Ted Kremenek · 17 years ago
  46. 05a9112 Fix 80 col violation. by Ted Kremenek · 17 years ago
  47. ec8a1cb Added panic function _XCAssertionFailureHandler. by Ted Kremenek · 17 years ago
  48. 6ed9afc Cache leaks by the allocation site, not the leak location. by Ted Kremenek · 17 years ago
  49. 76d90c8 Partitioned BugTypeCachedLocation::isCached() into two methods: one that accepts and ExplodedNode, and the other that accepts a ProgramPoint. The default behavior is to cache bug reports by the by Ted Kremenek · 17 years ago
  50. 666de3b Support StringLiteralVal when comparing LVal types. by Ted Kremenek · 17 years ago
  51. 0e470a5 Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary to use IsLValType when conjuring symbols for return values (this fixes a bug with an assertion firing in the analyzer when two qualified objective-c types were compared). by Ted Kremenek · 17 years ago
  52. 299e815 Added support for "drain". by Ted Kremenek · 17 years ago
  53. 0fcbf8e Expand the CF retain checker to allow the Create/Get rule to apply to any by Ted Kremenek · 17 years ago
  54. 0ae24fa Flip order of arguments to CStrInStrNoCase. by Ted Kremenek · 17 years ago
  55. 900a2d7 Use llvm::CStrInCStrNoCase instead of strcasestr, since the latter is not portable. by Ted Kremenek · 17 years ago
  56. f4250e2 copy-paste: NS types are not typedefs. by Ted Kremenek · 17 years ago
  57. 05a7b0e Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" from NSObject as allocators. by Ted Kremenek · 17 years ago
  58. 84060db Be less promiscuous with generating summaries for "new", "copy", "create". by Ted Kremenek · 17 years ago
  59. a4b695a Added auto-summary generation for createXXX, copyXXX, newXXX methods. by Ted Kremenek · 17 years ago
  60. a22cc2f Don't report leaks for autoreleased objects. by Ted Kremenek · 17 years ago
  61. c839560 More comments. by Ted Kremenek · 17 years ago
  62. 432af59 Experiment with not converting bug names to lower case. by Ted Kremenek · 17 years ago
  63. 143ca22 More refactorings in GeneratePathDiagnostic: use ExecutionContinues to display by Ted Kremenek · 17 years ago
  64. 1bffd74 Generate "stop" summaries for selectors involving receivers whose type is not NSxxxx. by Ted Kremenek · 17 years ago
  65. 84548b8 Use strncmp correctly. by Ted Kremenek · 17 years ago
  66. aee9e57 Make string comparison legible and remove buffer overrun introduced by typo. by Ted Kremenek · 17 years ago
  67. 70f9d86 String comparison cleanups. Added test case. by Ted Kremenek · 17 years ago
  68. 3fa0d29 Fix logic error in string processing. by Ted Kremenek · 17 years ago
  69. 0855dc3 Remove assertion. by Ted Kremenek · 17 years ago
  70. b309525 Use EvalSummary to process message expressions, thereby unifying the checker by Ted Kremenek · 17 years ago
  71. 1499389 Added receiver effects to EvalSummary. by Ted Kremenek · 17 years ago
  72. 3c0cea3 Expand summaries to include "Receiver" effects. by Ted Kremenek · 17 years ago
  73. b3c3c28 Added initialization code to generate initial set of ObjC method summaries (non-instance methods). by Ted Kremenek · 17 years ago
  74. 9c32d08 Added code to generate initial set of summaries for instance methods. by Ted Kremenek · 17 years ago
  75. 46e49ee Add summary generation for "initXXX" methods. by Ted Kremenek · 17 years ago
  76. 789deac Make CF retain diagnostics more succinct. by Ted Kremenek · 17 years ago
  77. a23157e Emit dead store warnings for ++ and -- operators. by Ted Kremenek · 17 years ago
  78. d3dbcf4 Initial work on refactoring the CFRefCount checker so that it is more by Ted Kremenek · 17 years ago
  79. e28565b Improve leak diagnostics to not report a leak on the same line where by Ted Kremenek · 17 years ago
  80. ce48e00 Improved leak diagnostics. by Ted Kremenek · 17 years ago
  81. 86ad3bc Minor refactorings/cleanups in CF retain checker and added support for NSMakeCollectable. by Ted Kremenek · 17 years ago
  82. 5c454ab When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 17 years ago
  83. 200ed92 Rename member variable. by Ted Kremenek · 17 years ago
  84. e92c1b2 Improved diagnostics for leaks: now we report which variable was leaked. by Ted Kremenek · 17 years ago
  85. 9f74161 When running the reference count checker twice (GC and non-GC mode), only emit by Ted Kremenek · 17 years ago
  86. 6ff6f8b Really noreturn on exceptions. by Ted Kremenek · 17 years ago
  87. 529a9bd Fix copy-paste bug. by Ted Kremenek · 17 years ago
  88. 52a67df Remove no longer valid assertion. by Ted Kremenek · 17 years ago
  89. c9fa2f7 Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 17 years ago
  90. bb77e9b Do not highlight bogus ranges for leaks. by Ted Kremenek · 17 years ago
  91. 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 17 years ago
  92. e448ab4 Added temporary fix for Obj-C exception handling in the static analyzer: treat these as panic functions. by Ted Kremenek · 17 years ago
  93. b83e02e Renamed static method. by Ted Kremenek · 17 years ago
  94. 24cb8a2 Added __assert_rtn to list of panic functions. by Ted Kremenek · 17 years ago
  95. c7122d5 Added ziperr as a panic function. Eventually inter-procedural analysis by Ted Kremenek · 17 years ago
  96. 31593ac When processing "release", "retain", and "autorelease" messages return the by Ted Kremenek · 17 years ago
  97. 5934cee Added support for "autorelease" message in CF ref. count checker. by Ted Kremenek · 17 years ago
  98. 072192b added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 17 years ago
  99. c1ff3cd More cleanups with ObjCQualifiedIdType in the static analyzer. by Ted Kremenek · 17 years ago
  100. ee90dba Add placeholder code in the static analyzer for MemberExprs involving struct temporaries. by Ted Kremenek · 17 years ago