Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / e0ad215b709fba79b3a1ead9af31a6f8bd3ee77a / lib / Analysis
  1. a46fea7 Added panic function _XCAssertionFailureHandler. by Ted Kremenek · 16 years ago
  2. d7e2678 Cache leaks by the allocation site, not the leak location. by Ted Kremenek · 16 years ago
  3. 789c0b3 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 · 16 years ago
  4. f06f514 Support StringLiteralVal when comparing LVal types. by Ted Kremenek · 16 years ago
  5. 9e2c1ea 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 · 16 years ago
  6. c00b32b Added support for "drain". by Ted Kremenek · 16 years ago
  7. 62820d8 Expand the CF retain checker to allow the Create/Get rule to apply to any by Ted Kremenek · 16 years ago
  8. b8989ee Flip order of arguments to CStrInStrNoCase. by Ted Kremenek · 16 years ago
  9. 2ac4ba6 Use llvm::CStrInCStrNoCase instead of strcasestr, since the latter is not portable. by Ted Kremenek · 16 years ago
  10. bb257de copy-paste: NS types are not typedefs. by Ted Kremenek · 16 years ago
  11. 228f080 Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" from NSObject as allocators. by Ted Kremenek · 16 years ago
  12. 5496f6d Be less promiscuous with generating summaries for "new", "copy", "create". by Ted Kremenek · 16 years ago
  13. 48b6d9e Added auto-summary generation for createXXX, copyXXX, newXXX methods. by Ted Kremenek · 16 years ago
  14. 4c47932 Don't report leaks for autoreleased objects. by Ted Kremenek · 16 years ago
  15. a7722b7 More comments. by Ted Kremenek · 16 years ago
  16. b3a44e7 Experiment with not converting bug names to lower case. by Ted Kremenek · 16 years ago
  17. 7116088 More refactorings in GeneratePathDiagnostic: use ExecutionContinues to display by Ted Kremenek · 16 years ago
  18. bcaff79 Generate "stop" summaries for selectors involving receivers whose type is not NSxxxx. by Ted Kremenek · 16 years ago
  19. bcfac33 Use strncmp correctly. by Ted Kremenek · 16 years ago
  20. 1d3d956 Make string comparison legible and remove buffer overrun introduced by typo. by Ted Kremenek · 16 years ago
  21. ea80086 String comparison cleanups. Added test case. by Ted Kremenek · 16 years ago
  22. b07320e Fix logic error in string processing. by Ted Kremenek · 16 years ago
  23. a7d639f Remove assertion. by Ted Kremenek · 16 years ago
  24. 926abf2 Use EvalSummary to process message expressions, thereby unifying the checker by Ted Kremenek · 16 years ago
  25. 227c537 Added receiver effects to EvalSummary. by Ted Kremenek · 16 years ago
  26. 266d8b6 Expand summaries to include "Receiver" effects. by Ted Kremenek · 16 years ago
  27. 83b2cde Added initialization code to generate initial set of ObjC method summaries (non-instance methods). by Ted Kremenek · 16 years ago
  28. 0e344d4 Added code to generate initial set of summaries for instance methods. by Ted Kremenek · 16 years ago
  29. 42ea032 Add summary generation for "initXXX" methods. by Ted Kremenek · 16 years ago
  30. 0ff3f20 Make CF retain diagnostics more succinct. by Ted Kremenek · 16 years ago
  31. 401c344 Emit dead store warnings for ++ and -- operators. by Ted Kremenek · 16 years ago
  32. a8c3c43 Initial work on refactoring the CFRefCount checker so that it is more by Ted Kremenek · 16 years ago
  33. ea794e9 Improve leak diagnostics to not report a leak on the same line where by Ted Kremenek · 16 years ago
  34. 9363fd9 Improved leak diagnostics. by Ted Kremenek · 16 years ago
  35. 562c130 Minor refactorings/cleanups in CF retain checker and added support for NSMakeCollectable. by Ted Kremenek · 16 years ago
  36. 75439aa When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 16 years ago
  37. 0f35242 Rename member variable. by Ted Kremenek · 16 years ago
  38. 198cae0 Improved diagnostics for leaks: now we report which variable was leaked. by Ted Kremenek · 16 years ago
  39. 2f62f35 When running the reference count checker twice (GC and non-GC mode), only emit by Ted Kremenek · 16 years ago
  40. 2227bdf Really noreturn on exceptions. by Ted Kremenek · 16 years ago
  41. 6a24ec0 Fix copy-paste bug. by Ted Kremenek · 16 years ago
  42. cc84ff4 Remove no longer valid assertion. by Ted Kremenek · 16 years ago
  43. fe4d231 Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 16 years ago
  44. 5c3407a Do not highlight bogus ranges for leaks. by Ted Kremenek · 16 years ago
  45. 3366180 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 16 years ago
  46. 5f20a63 Added temporary fix for Obj-C exception handling in the static analyzer: treat these as panic functions. by Ted Kremenek · 16 years ago
  47. 1bd6ddb Renamed static method. by Ted Kremenek · 16 years ago
  48. 0f84f66 Added __assert_rtn to list of panic functions. by Ted Kremenek · 16 years ago
  49. 6b008c6 Added ziperr as a panic function. Eventually inter-procedural analysis by Ted Kremenek · 16 years ago
  50. cb470940 When processing "release", "retain", and "autorelease" messages return the by Ted Kremenek · 16 years ago
  51. 3281a1f Added support for "autorelease" message in CF ref. count checker. by Ted Kremenek · 16 years ago
  52. fe30beb added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 16 years ago
  53. d810bf8 More cleanups with ObjCQualifiedIdType in the static analyzer. by Ted Kremenek · 16 years ago
  54. c59a8e7 Add placeholder code in the static analyzer for MemberExprs involving struct temporaries. by Ted Kremenek · 16 years ago
  55. 5c4d409 Add workaround for __builtin_offsetof in the static analyzer. by Ted Kremenek · 16 years ago
  56. a922326 Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the sizeof of a ObjCInterfaceType. by Ted Kremenek · 16 years ago
  57. 3194306 Support implicit casts from pointers to references. by Ted Kremenek · 16 years ago
  58. b4aecd0 When creating LVals for array entries, canonicalize entries with a 0 index. by Ted Kremenek · 16 years ago
  59. 7cefcac Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
  60. 60728ac Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
  61. c37d49e Add conjured symbols for decl initializations. Add db_error as panic function. by Ted Kremenek · 16 years ago
  62. de9c960 Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ. by Ted Kremenek · 16 years ago
  63. bf57385 Invalidate old subexpression bindings when binding UnknownVal. by Ted Kremenek · 16 years ago
  64. 7a1f0dc Simplify RemoveDeadBindings. by Ted Kremenek · 16 years ago
  65. c4385b4 Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
  66. 465f25a Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
  67. 5f6b442 Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 16 years ago
  68. e2dd957 Update typestate logic to support GC-mode. by Ted Kremenek · 16 years ago
  69. 9b0c09c Implement semantics of CFMakeCollectable for the CF-reference count checker. by Ted Kremenek · 16 years ago
  70. 102d42e Provide the option to run the CF-retain checker in GC enabled mode. by Ted Kremenek · 16 years ago
  71. a53d553 Make assertions for all addresses passed to ProgramPoint that they have at least an 8-byte alignment. by Argiris Kirtzidis · 16 years ago
  72. e90e323 Fix bug in BugReporter where we didn't handle emitting diagnostics for by Ted Kremenek · 16 years ago
  73. db47c0e Handle dereferences of function pointers (which return a handle to the function). by Ted Kremenek · 16 years ago
  74. 2d25638 Don't abort on GetRVal when the LVal is a StringLiteralVal. by Ted Kremenek · 16 years ago
  75. 3fb7296 Don't emit empty strings for path diagnostics when taking the default branch of a switch statement that has no label. by Ted Kremenek · 16 years ago
  76. ac91ce9 Do a better job at computing dead symbols. by Ted Kremenek · 16 years ago
  77. 541db37 Add preliminary support for flagging leaks around when they happen (doesn't work yet). by Ted Kremenek · 16 years ago
  78. fa7be36 More boilerplate for handling specialized-transfer function logic for dead symbols. by Ted Kremenek · 16 years ago
  79. 7487f94 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 16 years ago
  80. ae855d4 CF reference count checker: handle variadic functions that allocate CF objects. by Ted Kremenek · 16 years ago
  81. 854b776 For case statements involving enums, BugReporter now generates PathDiagnostics by Ted Kremenek · 16 years ago
  82. 8b33566 Fix minor regression in bug report generation. by Ted Kremenek · 16 years ago
  83. b9b15bf When building PathDiagnostics for bug reports, generate a trimmed ExplodedGraph with a single path that BugReport objects can safely walk and introspect. by Ted Kremenek · 16 years ago
  84. 0a6a80b Fixed: <rdar://problem/5881148> by Ted Kremenek · 16 years ago
  85. df3aaa1 Remove false path where the default branch in a switch statement would by Ted Kremenek · 16 years ago
  86. cbdc0ed Added panic function "assfail". by Ted Kremenek · 16 years ago
  87. 47e6138 For default branches in switch statements with no default label, print out by Ted Kremenek · 16 years ago
  88. cfbc56a Rewrote VisitDeclStmt to properly handle initializers that can do anything. by Ted Kremenek · 16 years ago
  89. be62129 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  90. fe1a0b1 Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 16 years ago
  91. f309cf9 PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring by Ted Kremenek · 16 years ago
  92. efb4bd0 Use back() instead of end()-1 by Argiris Kirtzidis · 16 years ago
  93. 0d9ff34 Added panic function "dtrace_assfail". by Ted Kremenek · 16 years ago
  94. 23271be Hardcode "Assert" as a no-return function (panic). by Ted Kremenek · 16 years ago
  95. bb7c156 Added null-dereference check for ArraySubscriptExpr. by Ted Kremenek · 16 years ago
  96. d0d8620 Added support for detected bad dereferences involving MemberExprs, e.g. x->f where "x" is NULL. by Ted Kremenek · 16 years ago
  97. d1b6ef6 Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis! by Ted Kremenek · 16 years ago
  98. bfc6cce Gracefully handle when the receiver of a message expression is not a pointer type. by Ted Kremenek · 16 years ago
  99. 5814310 Another bug fix in emitting warnings without a path: construct a unit PathDiagnostic as we did by Ted Kremenek · 16 years ago
  100. 4c94eb9 Reenable using the PathDiagnosticClient for BugReports without paths. by Ted Kremenek · 16 years ago