Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 5ce933f68c614faa048364f88a226cd3de6649bd / lib / Analysis
  1. c5c6000 Fix null dereference. by Ted Kremenek · 16 years ago
  2. d305721 For retain/release leaks, have the BugReport description indicate the allocation site and initial bindings. by Ted Kremenek · 16 years ago
  3. faea269 Tidy up bug descriptions. by Ted Kremenek · 16 years ago
  4. d90e708 Use BugReport::getDescription() for the compiler warning text. by Ted Kremenek · 16 years ago
  5. e469fa0 Determining the allocation site for a leak when constructing a CFRefLeakReport. This avoids repeated calls to GetAllocationSite when Profiling a CFRefLeakReport object. by Ted Kremenek · 16 years ago
  6. 66d9706 Split logic for 'getEndPath()' for CFRefReport and CFRefLeakReport. by Ted Kremenek · 16 years ago
  7. c9e3d86 Convert a use of 'std::ostringstream' to 'llvm::raw_string_ostream'. by Ted Kremenek · 16 years ago
  8. e87f5c1 Ensure that we assert if given an unhandled value. by Mike Stump · 16 years ago
  9. cad2996 GRExprEngine: When processing compound assignments, do a switch table lookup to get the non-compound opcode from the compound opcode instead of relying on the order of BinaryOperator::opcode values. This unbreaks the misc-ps.c test. by Ted Kremenek · 16 years ago
  10. 02ebefb SymbolicRegions really have unknown sizes. by Zhongxing Xu · 16 years ago
  11. a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
  12. 4132758 handle fatal errors, rely on warnings to point out missing cases. by Chris Lattner · 16 years ago
  13. a92206e Add 'AppendValue' to the list of magic CF function names that cause a tracked object to escape. Fixes <rdar://problem/6560661>. by Ted Kremenek · 16 years ago
  14. 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 16 years ago
  15. cf70177 Remove a bunch of obscene double-buffering of BugReports in the retain/release by Ted Kremenek · 16 years ago
  16. e45e57f Fix regression: Leak (BugType) object should have 'isLeak()' return true. by Ted Kremenek · 16 years ago
  17. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  18. 97c4d47 Remove dead code. by Zhongxing Xu · 16 years ago
  19. 7da5aea make SM::getColumnNumber take a predecomposed FileID/offset, which by Chris Lattner · 16 years ago
  20. bf98c99 Fix horrible non-termination bug in LiveVariables. The issue was that by Ted Kremenek · 16 years ago
  21. 1e2b1fc Move method out-of-line. by Ted Kremenek · 16 years ago
  22. d7eb846 Switch Type::isAggregateType to use the C++ definition of "aggregate by Douglas Gregor · 16 years ago
  23. 071e04e update for change in API. by Chris Lattner · 16 years ago
  24. 14553ab Fix a couple bugs: by Ted Kremenek · 16 years ago
  25. 6818928 retain/release checker: When generating summaries for CF/CG functions, allow arguments to "escape" if they are passed to a function containing the terms "InsertValue", "SetValue", or "AddValue". This fixes <rdar://problem/6539791>. by Ted Kremenek · 16 years ago
  26. 500d329 move library-specific diagnostic headers into library private dirs. Reduce by Chris Lattner · 16 years ago
  27. ea4bc88 Remove '#if 0' code. by Ted Kremenek · 16 years ago
  28. b2bf7cd Remove method 'AddNE' from the public interface of ConstraintManager. by Ted Kremenek · 16 years ago
  29. abf4397 retain/release checker: Always generate an "autorelease" summary for an "autorelease" message, and have the summary processing logic treat it as a no-op in GC mode. This change is motivated to encode more of the semantics in the summaries themselves for eventual better diagnostics. by Ted Kremenek · 16 years ago
  30. 23b8eaa retain/release checker: Improve diagnostics to indicate that CF objects are not automatically garbage collected. by Ted Kremenek · 16 years ago
  31. 961b61d retain/release checker: Indicate whether a tracked object is a Core Foundation or Objective-C object. by Ted Kremenek · 16 years ago
  32. a102c0c retain/release checker: More diagnostic refactoring. by Ted Kremenek · 16 years ago
  33. 2d1652e retain/release checker: Embed an "object type" into the RetEffect/RetVal objects to help distinguish between Objective-C and Core Foundation objects (for better diagnostics). by Ted Kremenek · 16 years ago
  34. 611a15a retain/release checker: More cleanups (no real functionality change). by Ted Kremenek · 16 years ago
  35. 103a185 Fix diagnostic truncated by my last patch. by Ted Kremenek · 16 years ago
  36. 5c1cd52 retain/release checker: More diagnostic refactoring. by Ted Kremenek · 16 years ago
  37. 2098280 retain/release checker: Output the name of the function that allocates an object. by Ted Kremenek · 16 years ago
  38. a1f117e Refactor some diagnostic code to use raw_string_ostream. No functionality change. by Ted Kremenek · 16 years ago
  39. 1d549a8 Remove '#if 0' code. by Ted Kremenek · 16 years ago
  40. 20c6b3b Split the single monolithic DiagnosticKinds.def file into one by Chris Lattner · 16 years ago
  41. d76d47e Fix bug in BasicStore::getLValueElement where if the base of an array subscript expression was an ElementRegion we stacked another ElementRegion on top of that. by Ted Kremenek · 16 years ago
  42. b9c3f96 Introduce a new PresumedLoc class to represent the concept of a location by Chris Lattner · 16 years ago
  43. a26ddab PathDiagnostics: by Ted Kremenek · 16 years ago
  44. 1be3da5 Correct size assumption; fixes a crash on amd64. by Sebastian Redl · 16 years ago
  45. 8ee74d5 Use tag classes instead of typedefs for GDM entries 'ConstNotEq' and 'ConstEq'. This avoids collisions in the GDM. by Ted Kremenek · 16 years ago
  46. c9e8f60 Rename Expr::isConstantExpr to Expr::isConstantInitializer; this more by Eli Friedman · 16 years ago
  47. 8318304 Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer. by Ted Kremenek · 16 years ago
  48. 3148eb4 More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup. by Ted Kremenek · 16 years ago
  49. 36a32eb Output summary diagnostic for each bug report. by Ted Kremenek · 16 years ago
  50. cabe668 Added virtual method DiagnosticClient::IncludeInDiagnosticCounts(). This is used by Diagnostics to determine if a diagnostic sent to a given DiagnosticClient should be included in the count of diagnostics. The default implementation of this method returns 'true'. by Ted Kremenek · 16 years ago
  51. 562c4d9 Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 16 years ago
  52. cbb0b47 Now this comment should be resolved. See the comments for the KillSet. by Zhongxing Xu · 16 years ago
  53. c496f14 When getting the element region type, we should get the rvalue type of the super by Zhongxing Xu · 16 years ago
  54. 2e84257 For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedRegions. It wasn't really doing the right thing and was crashing on rdar-6442306-1.m. This fix causes all path-sensitive test cases to pass with RegionStore. by Ted Kremenek · 16 years ago
  55. 6fd8f91 Add RegionStore support for the implicit object region that 'self' references. This causes tests 'ObjCProperties.m' and 'refcnt_naming.m' to now pass with RegionStore. by Ted Kremenek · 16 years ago
  56. a7ac944 Fix RegionStore::getLValueElement() to handle the case when the base region is not an ElementRegion (also do some cleanups of its core logic). by Ted Kremenek · 16 years ago
  57. dcb6a26 SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalues because these represent the symbolic values for parameters/globals upon entry to the function. These values are always ;live' because they represent constraints on the context of how the function was called. This will be useful for both summary generation but is also necessary to get RegionStore's lazy-binding of locations to symbols to work in practice with RemoveDeadBindings. by Ted Kremenek · 16 years ago
  58. 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 16 years ago
  59. c979e80 Combine two branches into one. No functionality change. by Ted Kremenek · 16 years ago
  60. 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 16 years ago
  61. 0964a06 Get RegionStore to work with the retain/release checker and its test cases. by Ted Kremenek · 16 years ago
  62. 4afa39d Remove ScopedDecl, collapsing all of its functionality into Decl, so by Douglas Gregor · 16 years ago
  63. 7f5fce7 Dead stores checker: Fix <rdar://problem/6506065> by being more selective when say that a store is dead even though the computed value is used in the enclosing expression. by Ted Kremenek · 16 years ago
  64. 72afb37 Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label. by Ted Kremenek · 16 years ago
  65. e2916d6 StringRegion::print: Remove copy/paste code and just call Stmt::printPretty() for the StringLiteral. by Ted Kremenek · 16 years ago
  66. 9989065 Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. by Ted Kremenek · 16 years ago
  67. f7cf85b more SourceLocation lexicon change: instead of referring to the by Chris Lattner · 16 years ago
  68. df7c17a Change some terminology in SourceLocation: instead of referring to by Chris Lattner · 16 years ago
  69. f185319 Fix some unused variable, control reaches end of non-void function, by Daniel Dunbar · 16 years ago
  70. 9c2a3db add a fixme. by Zhongxing Xu · 16 years ago
  71. 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 16 years ago
  72. e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
  73. bbee1a7 Invert condition on branch (was causing RegionStore::ArrayToPointer to return 'unknown' on most cases. by Ted Kremenek · 16 years ago
  74. 1261938 retain/release checker: by Ted Kremenek · 16 years ago
  75. 3b58786 Dead stores checker: Don't flag dead stores for self-assignments (common escape hatch for 'unused variable' warnings). by Ted Kremenek · 16 years ago
  76. 7e5d6ed Add isSubRegionOf() method to SubRegion. by Zhongxing Xu · 16 years ago
  77. c6ed384 Update some doxygen comments to be more rich. Remove StoreManager::GetRegionSVal. by Ted Kremenek · 16 years ago
  78. d6cfbe4 Refactor MemRegionManager instance variable into parent class. No functionality change. by Ted Kremenek · 16 years ago
  79. 234a4c2 This commit reflects changes to the retain/release checker motivated by my by Ted Kremenek · 16 years ago
  80. a21362d Return UnknownVal in RegionStoreManager::getSizeInElements() for unsupported regions. This silences a warning when compiling Release-Asserts builds. by Ted Kremenek · 16 years ago
  81. 1a49af9 Add QualifiedDeclRefExpr, which retains additional source-location by Douglas Gregor · 16 years ago
  82. 869fb4a Add a bunch of comments and FIXMEs. by Ted Kremenek · 16 years ago
  83. 1302016 set region default value if there are not enough init values for array and struct. by Zhongxing Xu · 16 years ago
  84. 50dc1b3 Comment and fixup GDM entries for RegionStore to use unique 'tag classes' to identify GDM entries. by Ted Kremenek · 16 years ago
  85. a5a4166 Fix initialization order. by Zhongxing Xu · 16 years ago
  86. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  87. 47b3240 Use utility method. by Zhongxing Xu · 16 years ago
  88. 56a3460 Use utility methods. No functional change. by Zhongxing Xu · 16 years ago
  89. a90dce3 Remove unused function. by Zhongxing Xu · 16 years ago
  90. 86f1940 Add support for member references (E1.E2, E1->E2) with C++ semantics, by Douglas Gregor · 16 years ago
  91. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  92. 3ddc4d5 Fix <rdar://problem/6454568>: BugReporter should correctly handle switch statements with no default case. by Ted Kremenek · 16 years ago
  93. 40e86d9 Fix regression when invalidating reference-counts for objects passed-by-reference to a function/method. by Ted Kremenek · 16 years ago
  94. 2fb78a7 CF-retain/release checker: by Ted Kremenek · 16 years ago
  95. 90b3236 Fix <rdar://problem/6451816>: by Ted Kremenek · 16 years ago
  96. 500d2ee Add pretty-printing for AnonTypedRegion. by Ted Kremenek · 16 years ago
  97. e1efd4d Add new GRWorkList class that uses two queues: by Ted Kremenek · 16 years ago
  98. 8c35475 ProgramPoint: by Ted Kremenek · 16 years ago
  99. 9c9ca08 Implement RegionStoreManager::Remove(). by Zhongxing Xu · 16 years ago
  100. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 16 years ago