Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / c095997b853270d8adb6fe55209a4dbc42803d16 / lib / Analysis
  1. 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
  2. 8b23361 GRExprEngine now expects the LiveVariables information to be provided by its creator. by Ted Kremenek · 17 years ago
  3. 17fdf95 Added version of CheckDeadStores that accepts a client-provided LiveVariables object. by Ted Kremenek · 17 years ago
  4. 179064e Unlike NSWindow objects, NSPanel objects initially do not have self-ownership. by Ted Kremenek · 17 years ago
  5. 80d753f Temporarily treat "Autorelease" as "StopTracking". This is the original behavior. by Ted Kremenek · 17 years ago
  6. e19f449 Added "Autorelease" ArgEffect to better simulate "autorelease" messages. Right by Ted Kremenek · 17 years ago
  7. 04bc876 Added a simple static analysis check to look for improper uses of CFCreateNumber. by Ted Kremenek · 17 years ago
  8. 553cf18 CF ref checker: by Ted Kremenek · 17 years ago
  9. ab59227 Remove unneeded method arguments. by Ted Kremenek · 17 years ago
  10. 53301ba Cache ObjC summaries by IdentifierInfo*, not by ObjCInterfaceDecl. by Ted Kremenek · 17 years ago
  11. 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
  12. 1f180c3 Rename summary methods for "instance methods" to "class methods" (the names got screwed up). No functionality change. by Ted Kremenek · 17 years ago
  13. 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
  14. 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
  15. 1a654b6 Modified the dead stores checker to... by Ted Kremenek · 17 years ago
  16. b8e26e6 Introduce initial transfer function support for __imag__ and __real__. We don't by Ted Kremenek · 17 years ago
  17. 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
  18. c1da441 Fix non-termination bug reported by Thomas Clement! by Ted Kremenek · 17 years ago
  19. 4111024 Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl. by Chris Lattner · 17 years ago
  20. 5549976 This patch is motivated by numerous strict-aliasing warnings when compiling by Ted Kremenek · 17 years ago
  21. 0327f77 Teach the CF retain checker about "_init" methods. Fixes: <rdar://problem/5956379> by Ted Kremenek · 17 years ago
  22. f494b57 - Move ObjC Expresssion AST's from Expr.h => ExprObjC.h by Steve Naroff · 17 years ago
  23. 1aa44c7 Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 17 years ago
  24. 3eabf1c Expand retain/release checker to consider methods/function calls that cause a by Ted Kremenek · 17 years ago
  25. c07ba35 Don't use ostringstream (pulling in <sstream>) when creating the dead store diagnostic (simply not needed). by Ted Kremenek · 17 years ago
  26. 3eb817e Improve dead stores diagnostics to include the variable name. by Ted Kremenek · 17 years ago
  27. 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
  28. f742794 fix warning with gcc 4.1 (ptr to bool convertion) by Nuno Lopes · 17 years ago
  29. 489ecd5 Micro-optimization when checking for panic functions. by Ted Kremenek · 17 years ago
  30. 05a9112 Fix 80 col violation. by Ted Kremenek · 17 years ago
  31. ec8a1cb Added panic function _XCAssertionFailureHandler. by Ted Kremenek · 17 years ago
  32. 6ed9afc Cache leaks by the allocation site, not the leak location. by Ted Kremenek · 17 years ago
  33. 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
  34. 666de3b Support StringLiteralVal when comparing LVal types. by Ted Kremenek · 17 years ago
  35. 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
  36. 299e815 Added support for "drain". by Ted Kremenek · 17 years ago
  37. 0fcbf8e Expand the CF retain checker to allow the Create/Get rule to apply to any by Ted Kremenek · 17 years ago
  38. 0ae24fa Flip order of arguments to CStrInStrNoCase. by Ted Kremenek · 17 years ago
  39. 900a2d7 Use llvm::CStrInCStrNoCase instead of strcasestr, since the latter is not portable. by Ted Kremenek · 17 years ago
  40. f4250e2 copy-paste: NS types are not typedefs. by Ted Kremenek · 17 years ago
  41. 05a7b0e Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" from NSObject as allocators. by Ted Kremenek · 17 years ago
  42. 84060db Be less promiscuous with generating summaries for "new", "copy", "create". by Ted Kremenek · 17 years ago
  43. a4b695a Added auto-summary generation for createXXX, copyXXX, newXXX methods. by Ted Kremenek · 17 years ago
  44. a22cc2f Don't report leaks for autoreleased objects. by Ted Kremenek · 17 years ago
  45. c839560 More comments. by Ted Kremenek · 17 years ago
  46. 432af59 Experiment with not converting bug names to lower case. by Ted Kremenek · 17 years ago
  47. 143ca22 More refactorings in GeneratePathDiagnostic: use ExecutionContinues to display by Ted Kremenek · 17 years ago
  48. 1bffd74 Generate "stop" summaries for selectors involving receivers whose type is not NSxxxx. by Ted Kremenek · 17 years ago
  49. 84548b8 Use strncmp correctly. by Ted Kremenek · 17 years ago
  50. aee9e57 Make string comparison legible and remove buffer overrun introduced by typo. by Ted Kremenek · 17 years ago
  51. 70f9d86 String comparison cleanups. Added test case. by Ted Kremenek · 17 years ago
  52. 3fa0d29 Fix logic error in string processing. by Ted Kremenek · 17 years ago
  53. 0855dc3 Remove assertion. by Ted Kremenek · 17 years ago
  54. b309525 Use EvalSummary to process message expressions, thereby unifying the checker by Ted Kremenek · 17 years ago
  55. 1499389 Added receiver effects to EvalSummary. by Ted Kremenek · 17 years ago
  56. 3c0cea3 Expand summaries to include "Receiver" effects. by Ted Kremenek · 17 years ago
  57. b3c3c28 Added initialization code to generate initial set of ObjC method summaries (non-instance methods). by Ted Kremenek · 17 years ago
  58. 9c32d08 Added code to generate initial set of summaries for instance methods. by Ted Kremenek · 17 years ago
  59. 46e49ee Add summary generation for "initXXX" methods. by Ted Kremenek · 17 years ago
  60. 789deac Make CF retain diagnostics more succinct. by Ted Kremenek · 17 years ago
  61. a23157e Emit dead store warnings for ++ and -- operators. by Ted Kremenek · 17 years ago
  62. d3dbcf4 Initial work on refactoring the CFRefCount checker so that it is more by Ted Kremenek · 17 years ago
  63. e28565b Improve leak diagnostics to not report a leak on the same line where by Ted Kremenek · 17 years ago
  64. ce48e00 Improved leak diagnostics. by Ted Kremenek · 17 years ago
  65. 86ad3bc Minor refactorings/cleanups in CF retain checker and added support for NSMakeCollectable. by Ted Kremenek · 17 years ago
  66. 5c454ab When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 17 years ago
  67. 200ed92 Rename member variable. by Ted Kremenek · 17 years ago
  68. e92c1b2 Improved diagnostics for leaks: now we report which variable was leaked. by Ted Kremenek · 17 years ago
  69. 9f74161 When running the reference count checker twice (GC and non-GC mode), only emit by Ted Kremenek · 17 years ago
  70. 6ff6f8b Really noreturn on exceptions. by Ted Kremenek · 17 years ago
  71. 529a9bd Fix copy-paste bug. by Ted Kremenek · 17 years ago
  72. 52a67df Remove no longer valid assertion. by Ted Kremenek · 17 years ago
  73. c9fa2f7 Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 17 years ago
  74. bb77e9b Do not highlight bogus ranges for leaks. by Ted Kremenek · 17 years ago
  75. 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 17 years ago
  76. e448ab4 Added temporary fix for Obj-C exception handling in the static analyzer: treat these as panic functions. by Ted Kremenek · 17 years ago
  77. b83e02e Renamed static method. by Ted Kremenek · 17 years ago
  78. 24cb8a2 Added __assert_rtn to list of panic functions. by Ted Kremenek · 17 years ago
  79. c7122d5 Added ziperr as a panic function. Eventually inter-procedural analysis by Ted Kremenek · 17 years ago
  80. 31593ac When processing "release", "retain", and "autorelease" messages return the by Ted Kremenek · 17 years ago
  81. 5934cee Added support for "autorelease" message in CF ref. count checker. by Ted Kremenek · 17 years ago
  82. 072192b added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 17 years ago
  83. c1ff3cd More cleanups with ObjCQualifiedIdType in the static analyzer. by Ted Kremenek · 17 years ago
  84. ee90dba Add placeholder code in the static analyzer for MemberExprs involving struct temporaries. by Ted Kremenek · 17 years ago
  85. a084bb6 Add workaround for __builtin_offsetof in the static analyzer. by Ted Kremenek · 17 years ago
  86. f342d18 Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the sizeof of a ObjCInterfaceType. by Ted Kremenek · 17 years ago
  87. e8c2bde Support implicit casts from pointers to references. by Ted Kremenek · 17 years ago
  88. c52c89a When creating LVals for array entries, canonicalize entries with a 0 index. by Ted Kremenek · 17 years ago
  89. c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
  90. 036dce0 Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
  91. f47bb78 Add conjured symbols for decl initializations. Add db_error as panic function. by Ted Kremenek · 17 years ago
  92. c3b7f0e Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ. by Ted Kremenek · 17 years ago
  93. 436f2b9 Invalidate old subexpression bindings when binding UnknownVal. by Ted Kremenek · 17 years ago
  94. ad87d25 Simplify RemoveDeadBindings. by Ted Kremenek · 17 years ago
  95. 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 17 years ago
  96. 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 17 years ago
  97. 1b8bd4d Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 17 years ago
  98. 65c9165 Update typestate logic to support GC-mode. by Ted Kremenek · 17 years ago
  99. 377e230 Implement semantics of CFMakeCollectable for the CF-reference count checker. by Ted Kremenek · 17 years ago
  100. e5c3012 Provide the option to run the CF-retain checker in GC enabled mode. by Ted Kremenek · 17 years ago