Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 572b2782cad28ae99c232fbb316f8ba074e28a2d / lib / Analysis
  1. 572b278 Remove logic for computing 'display hint'. by Ted Kremenek · 16 years ago
  2. bb8c5aa More fun with retain checker diagnostics: by Ted Kremenek · 16 years ago
  3. 1f62ef3 Fix diagnostics bugs when computing ranges for the retain/release checker. by Ted Kremenek · 16 years ago
  4. 2701900 retain/release checker: We now emit fancy diagnostics telling users about the by Ted Kremenek · 16 years ago
  5. 1c512f5 retain/release checker: Distinguish in the function summaries between by Ted Kremenek · 16 years ago
  6. e53f820 Revise comment. Comparing pointer values in 'Range' wasn't the performance issue I thought it was, but it is still worth ordering Range objects by their APSInt values. by Ted Kremenek · 16 years ago
  7. b103f01 Fix performance bug in RangeConstraintManager (that I introduced): by Ted Kremenek · 16 years ago
  8. fe9e543 Hooked up the necessary machinery to allow the retain/release checker reference by Ted Kremenek · 16 years ago
  9. f5b34b1 retain/release checker: Record the summary used to generate a given node. by Ted Kremenek · 16 years ago
  10. 40bbff0 Add panic function. by Ted Kremenek · 16 years ago
  11. 9beefec Revised RangeConstraintManager based on several discussions with Ben Laurie and by Ted Kremenek · 16 years ago
  12. 29ba6b4 Add '_assert' to list of known panic functions. by Ted Kremenek · 16 years ago
  13. 488d4b7 add some files to fix the cmake build, patch by Piotr Rak! by Chris Lattner · 16 years ago
  14. dd28d00 Add pretty-printing (for GraphViz) support for RangeConstraintManager. by Ted Kremenek · 16 years ago
  15. 53a61f4 Do not register 'RangeConstraintManager' as the default ConstraintManager. by Ted Kremenek · 16 years ago
  16. 669c0e1 Remove accidental duplication of content in .h file. by Ted Kremenek · 16 years ago
  17. 3c385e5 Add hook to add attributes to function declarations that we know by Douglas Gregor · 17 years ago
  18. 4502195 Patch by Ben Laurie: by Ted Kremenek · 17 years ago
  19. a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 17 years ago
  20. 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 17 years ago
  21. 5b8d901 Use GRTransferFuncs::EvalBind when processing variable initializations. by Ted Kremenek · 17 years ago
  22. 41573eb Static analyzer: by Ted Kremenek · 17 years ago
  23. 3e41d60 Implicitly declare certain C library functions (malloc, strcpy, memmove, by Douglas Gregor · 17 years ago
  24. a8538d9 GRExprEngine: by Ted Kremenek · 17 years ago
  25. 389bf46 Several cleanups: by Steve Naroff · 17 years ago
  26. 8cb6fb3 Per PR 3187, disable the missing -dealloc check for classes that subclass SenTestCase. by Ted Kremenek · 17 years ago
  27. 297308e BugReporter: Use llvm::raw_string_stream instead of std::ostringstream. by Ted Kremenek · 17 years ago
  28. 3f34d80 Fix a crash in GRSimpleVals::EvalCast due not handling transparent unions. by Ted Kremenek · 17 years ago
  29. d3098ee Fix PR 2514: Do not flag dead initializations for variables initialized to a constant global variable. by Ted Kremenek · 17 years ago
  30. c5c6000 Fix null dereference. by Ted Kremenek · 17 years ago
  31. d305721 For retain/release leaks, have the BugReport description indicate the allocation site and initial bindings. by Ted Kremenek · 17 years ago
  32. faea269 Tidy up bug descriptions. by Ted Kremenek · 17 years ago
  33. d90e708 Use BugReport::getDescription() for the compiler warning text. by Ted Kremenek · 17 years ago
  34. 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 · 17 years ago
  35. 66d9706 Split logic for 'getEndPath()' for CFRefReport and CFRefLeakReport. by Ted Kremenek · 17 years ago
  36. c9e3d86 Convert a use of 'std::ostringstream' to 'llvm::raw_string_ostream'. by Ted Kremenek · 17 years ago
  37. e87f5c1 Ensure that we assert if given an unhandled value. by Mike Stump · 17 years ago
  38. 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 · 17 years ago
  39. 02ebefb SymbolicRegions really have unknown sizes. by Zhongxing Xu · 17 years ago
  40. a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 17 years ago
  41. 4132758 handle fatal errors, rely on warnings to point out missing cases. by Chris Lattner · 17 years ago
  42. 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 · 17 years ago
  43. 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 17 years ago
  44. cf70177 Remove a bunch of obscene double-buffering of BugReports in the retain/release by Ted Kremenek · 17 years ago
  45. e45e57f Fix regression: Leak (BugType) object should have 'isLeak()' return true. by Ted Kremenek · 17 years ago
  46. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 17 years ago
  47. 97c4d47 Remove dead code. by Zhongxing Xu · 17 years ago
  48. 7da5aea make SM::getColumnNumber take a predecomposed FileID/offset, which by Chris Lattner · 17 years ago
  49. bf98c99 Fix horrible non-termination bug in LiveVariables. The issue was that by Ted Kremenek · 17 years ago
  50. 1e2b1fc Move method out-of-line. by Ted Kremenek · 17 years ago
  51. d7eb846 Switch Type::isAggregateType to use the C++ definition of "aggregate by Douglas Gregor · 17 years ago
  52. 071e04e update for change in API. by Chris Lattner · 17 years ago
  53. 14553ab Fix a couple bugs: by Ted Kremenek · 17 years ago
  54. 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 · 17 years ago
  55. 500d329 move library-specific diagnostic headers into library private dirs. Reduce by Chris Lattner · 17 years ago
  56. ea4bc88 Remove '#if 0' code. by Ted Kremenek · 17 years ago
  57. b2bf7cd Remove method 'AddNE' from the public interface of ConstraintManager. by Ted Kremenek · 17 years ago
  58. 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 · 17 years ago
  59. 23b8eaa retain/release checker: Improve diagnostics to indicate that CF objects are not automatically garbage collected. by Ted Kremenek · 17 years ago
  60. 961b61d retain/release checker: Indicate whether a tracked object is a Core Foundation or Objective-C object. by Ted Kremenek · 17 years ago
  61. a102c0c retain/release checker: More diagnostic refactoring. by Ted Kremenek · 17 years ago
  62. 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 · 17 years ago
  63. 611a15a retain/release checker: More cleanups (no real functionality change). by Ted Kremenek · 17 years ago
  64. 103a185 Fix diagnostic truncated by my last patch. by Ted Kremenek · 17 years ago
  65. 5c1cd52 retain/release checker: More diagnostic refactoring. by Ted Kremenek · 17 years ago
  66. 2098280 retain/release checker: Output the name of the function that allocates an object. by Ted Kremenek · 17 years ago
  67. a1f117e Refactor some diagnostic code to use raw_string_ostream. No functionality change. by Ted Kremenek · 17 years ago
  68. 1d549a8 Remove '#if 0' code. by Ted Kremenek · 17 years ago
  69. 20c6b3b Split the single monolithic DiagnosticKinds.def file into one by Chris Lattner · 17 years ago
  70. 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 · 17 years ago
  71. b9c3f96 Introduce a new PresumedLoc class to represent the concept of a location by Chris Lattner · 17 years ago
  72. a26ddab PathDiagnostics: by Ted Kremenek · 17 years ago
  73. 1be3da5 Correct size assumption; fixes a crash on amd64. by Sebastian Redl · 17 years ago
  74. 8ee74d5 Use tag classes instead of typedefs for GDM entries 'ConstNotEq' and 'ConstEq'. This avoids collisions in the GDM. by Ted Kremenek · 17 years ago
  75. c9e8f60 Rename Expr::isConstantExpr to Expr::isConstantInitializer; this more by Eli Friedman · 17 years ago
  76. 8318304 Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer. by Ted Kremenek · 17 years ago
  77. 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 · 17 years ago
  78. 36a32eb Output summary diagnostic for each bug report. by Ted Kremenek · 17 years ago
  79. 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 · 17 years ago
  80. 562c4d9 Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 17 years ago
  81. cbb0b47 Now this comment should be resolved. See the comments for the KillSet. by Zhongxing Xu · 17 years ago
  82. c496f14 When getting the element region type, we should get the rvalue type of the super by Zhongxing Xu · 17 years ago
  83. 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 · 17 years ago
  84. 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 · 17 years ago
  85. 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 · 17 years ago
  86. 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 · 17 years ago
  87. 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 17 years ago
  88. c979e80 Combine two branches into one. No functionality change. by Ted Kremenek · 17 years ago
  89. 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 · 17 years ago
  90. 0964a06 Get RegionStore to work with the retain/release checker and its test cases. by Ted Kremenek · 17 years ago
  91. 4afa39d Remove ScopedDecl, collapsing all of its functionality into Decl, so by Douglas Gregor · 17 years ago
  92. 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 · 17 years ago
  93. 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 · 17 years ago
  94. e2916d6 StringRegion::print: Remove copy/paste code and just call Stmt::printPretty() for the StringLiteral. by Ted Kremenek · 17 years ago
  95. 9989065 Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. by Ted Kremenek · 17 years ago
  96. f7cf85b more SourceLocation lexicon change: instead of referring to the by Chris Lattner · 17 years ago
  97. df7c17a Change some terminology in SourceLocation: instead of referring to by Chris Lattner · 17 years ago
  98. f185319 Fix some unused variable, control reaches end of non-void function, by Daniel Dunbar · 17 years ago
  99. 9c2a3db add a fixme. by Zhongxing Xu · 17 years ago
  100. 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 17 years ago