Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / f8769c8c1b3710ea86a7376916e16c115bb4e99d / lib / Analysis
  1. f8769c8 Fix a null pointer dereference error due to state caching in a loop involving by Ted Kremenek · 16 years ago
  2. 867418f Create a symbolic region instead of a loc::SymbolVal. This is a continued step by Zhongxing Xu · 16 years ago
  3. fe630b9 GRExprEngine: Don't try to reason about the size of 'void' for the return type by Ted Kremenek · 16 years ago
  4. e644939 Fix another regression introduced by changes to the analyzer's reasoning about by Ted Kremenek · 16 years ago
  5. e8dbf06 Refactor/cleanup reasoning of nil receivers in message expressions. by Ted Kremenek · 16 years ago
  6. da9ae60 Enhance analyzer reasoning about sending messages to nil. A nil receiver returns 0 for scalars of size <= sizeof(void*). by Ted Kremenek · 16 years ago
  7. 899b3de New static analyzer check by Nikita Zhuk! by Ted Kremenek · 16 years ago
  8. f96f16d Remove hack from LiveVariables analysis where variables whose address are taken by Ted Kremenek · 16 years ago
  9. a5770b9 Remove GetLeakNode. This isn't the right approach. by Ted Kremenek · 16 years ago
  10. 0fa9654 Remove period. by Ted Kremenek · 16 years ago
  11. 0b3c9a9 Eagerly compute the leak location when a leak occurs at the end of a path. by Ted Kremenek · 16 years ago
  12. 581329c Removed some commented code. by Ted Kremenek · 16 years ago
  13. bfd7c9e PathDiagnostic generation: experiment with avoiding generation of control-flow by Ted Kremenek · 16 years ago
  14. 933c422 retain/release checker: When hunting for the leak location, don't walk the by Ted Kremenek · 16 years ago
  15. e97386f Don't overguard to adding a control-flow piece when "alwaysAdd" is true. by Ted Kremenek · 16 years ago
  16. 14856d7 Rewrite control-flow diagnostic generation "extensive" algorithm using "edge by Ted Kremenek · 16 years ago
  17. fea5f5a PathDiagnosticLocation now also wraps Decls. by Ted Kremenek · 16 years ago
  18. 9dab0ed Sentence-case bug type. by Ted Kremenek · 16 years ago
  19. 99d0269 retain/release checker: don't track NSPanel until we have better reasoning about by Ted Kremenek · 16 years ago
  20. a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 16 years ago
  21. efc620c Sentence-type bug type and category. by Ted Kremenek · 16 years ago
  22. 0ddaff3 Add another null pointer check. Simplify condition. by Ted Kremenek · 16 years ago
  23. c2dcd89 Fix grammar. by Ted Kremenek · 16 years ago
  24. 28de78b Add null pointer check. by Ted Kremenek · 16 years ago
  25. 13493ea More title-casing of bug type names. by Ted Kremenek · 16 years ago
  26. 4188409 Title-case the names of bug types. by Ted Kremenek · 16 years ago
  27. 5d88ff8 Title-case the names of bug types. by Ted Kremenek · 16 years ago
  28. 9e2d98d BugReporter, extensive path-diagnostics: add an extra control-flow edge to the by Ted Kremenek · 16 years ago
  29. 0dc65be Fix comment. by Ted Kremenek · 16 years ago
  30. a42c4c9 BugReporter: for extensive path diagnostics: by Ted Kremenek · 16 years ago
  31. 51a735c BugReporter: for extensive PathDiagnostic generation, add control-flow from the by Ted Kremenek · 16 years ago
  32. c3f83ad BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide most by Ted Kremenek · 16 years ago
  33. b930d7a Fix: <rdar://problem/6740387>. Sending nil to an object that returns a struct by Ted Kremenek · 16 years ago
  34. 5fb5dfb - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocation by Ted Kremenek · 16 years ago
  35. 3106198 More code reshuffling. No functionality change. by Ted Kremenek · 16 years ago
  36. 7dc8664 Allow two codepaths for PathDiagnostic generation. This patch mainly consists of by Ted Kremenek · 16 years ago
  37. e8e8648 Re-apply 68028. The code had drifted enough that the tests would fail without by Ted Kremenek · 16 years ago
  38. 782582d Revert 68028. by Ted Kremenek · 16 years ago
  39. be65d90 Remove dead code. by Ted Kremenek · 16 years ago
  40. 93e7145 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 16 years ago
  41. 380022d Simplify more code by using SVal::getAsSymbol() instead of by Ted Kremenek · 16 years ago
  42. 0297ee0 Convert use of loc::SymbolVal and nonloc::SymbolVal to V.getAsSymbol(). This by Ted Kremenek · 16 years ago
  43. 536aa02 Add version of GRExprEngine::AddCheck that registered a GRSimpleAPICheck that by Ted Kremenek · 16 years ago
  44. a45fec1 Make SymbolicRegion untyped. by Zhongxing Xu · 16 years ago
  45. f1d537f Implement a FIXME. by Zhongxing Xu · 16 years ago
  46. 2a8d6b0 Fix regression in pointer comparison with NULL (e.g., 0 != ptr). This fixes by Ted Kremenek · 16 years ago
  47. f5ab8e6 Adjust control-flow endpoints for '&&' and '||'. by Ted Kremenek · 16 years ago
  48. 7e24e82 rename some methods. by Chris Lattner · 16 years ago
  49. 1d9a23a Text PathDiagnosticBuilder::getEnclosingStmt() about '?' by Ted Kremenek · 16 years ago
  50. af3e3d5 Teach PathDiagnosticBuilder::getEnclosingStmtLocation() about while/if/do/for, by Ted Kremenek · 16 years ago
  51. ab3a852 Change compound assignment operators to keep track of both the promoted by Eli Friedman · 16 years ago
  52. d8c938b BugReporter: For control-flow edges from 'if', 'for', 'do', 'while' to by Ted Kremenek · 16 years ago
  53. 00605e0 BugReporter: PathDiagnosticBuilder::ExecutionContinues now returns a by Ted Kremenek · 16 years ago
  54. 73b6a44 remove dead code. by Zhongxing Xu · 16 years ago
  55. babdd7b BugReporter: by Ted Kremenek · 16 years ago
  56. 6fa9c38 remove the updated notes. by Zhongxing Xu · 16 years ago
  57. 6f00204 - Add class PathDiagosticLocationPair. by Ted Kremenek · 16 years ago
  58. becf888 Implement PathDiagnosticLocation::asRange() and PathDiagnosticLocation::asStmt(). by Ted Kremenek · 16 years ago
  59. b773702 Add comment. by Ted Kremenek · 16 years ago
  60. a546500 Restructure code to silence bogus GCC warning. by Ted Kremenek · 16 years ago
  61. 97b4003 - Implement PathDiagnosticLocation::asLocation. by Ted Kremenek · 16 years ago
  62. 1f9bd0f PathDiagnostics (analyzer): by Ted Kremenek · 16 years ago
  63. 8430456 Move "regions" analyzer design document to 'docs'. by Ted Kremenek · 16 years ago
  64. 4b8f99b Simplify some code. No functionality change. by Zhongxing Xu · 16 years ago
  65. 7fddc33 Check in some design documents to centralize ideas around region store and the by Zhongxing Xu · 16 years ago
  66. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  67. a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 16 years ago
  68. 68ac94a analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 16 years ago
  69. 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 16 years ago
  70. bb9b271 GRExprEngine: by Ted Kremenek · 16 years ago
  71. 7037ab8 retain/release checker: Tracking autorelease counts for objects. We're still not by Ted Kremenek · 16 years ago
  72. 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 16 years ago
  73. ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 16 years ago
  74. c2fdb07 Use a work list to recursively build up the subregion mapping, and mark live by Zhongxing Xu · 16 years ago
  75. 6199190 Stub out some code for support for NSDeallocateObject. This is enabled yet until by Ted Kremenek · 16 years ago
  76. f95e9fc retain/release checker: Add support for reasoning about -dealloc. by Ted Kremenek · 16 years ago
  77. a393e9e Build system changes to use TableGen to generate the various by Douglas Gregor · 16 years ago
  78. 8be2a67 Fix PR 3677 [retain checker]: custom 'allocWithZone' methods should be allowed by Ted Kremenek · 16 years ago
  79. 6ae8a36 Add a hack in the analyzer to recover some path-sensitivity at branch by Ted Kremenek · 16 years ago
  80. 1060a3c Updated comment. by Ted Kremenek · 16 years ago
  81. 610e81d Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the target by Ted Kremenek · 16 years ago
  82. 10aa554 Use the correct data structures! by Ted Kremenek · 16 years ago
  83. 082cb8d PathDiagnostics: by Ted Kremenek · 16 years ago
  84. 9d8d0fc Add comments. by Zhongxing Xu · 16 years ago
  85. b13ecdb Use getAsRecordType() to get around sugar types. by Zhongxing Xu · 16 years ago
  86. d3ad531 Remove '[naming convention]' from bug type. by Ted Kremenek · 16 years ago
  87. b2dea73 Add TypedViewRegion::isBoundable() to indicate whether or not the by Ted Kremenek · 16 years ago
  88. c45a825 Do not stipulate the record type is a definition in BindStruct(). by Zhongxing Xu · 16 years ago
  89. 2b1dc17 Fix crash when LHS of pointer arithmetic is not ElementRegion. by Zhongxing Xu · 16 years ago
  90. ac6ff48 RegionStore::getLValueElement: Handle the case where the signedness of the by Ted Kremenek · 16 years ago
  91. 21028dd GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the Condition is null. by Ted Kremenek · 16 years ago
  92. fa6228d Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not by Ted Kremenek · 16 years ago
  93. 0bed8a1 GRExprEngine: Add pretty-stack trace printing for crashes and assertion failures. by Ted Kremenek · 16 years ago
  94. 7de20fe SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 16 years ago
  95. 276c6ac GRExprEngine: For places we might conjure up a new symbol to recover by Ted Kremenek · 16 years ago
  96. 66b5271 Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 16 years ago
  97. 940abcc Use the BugReports in BugReporter to determine the root nodes for "trim-egraph". by Ted Kremenek · 16 years ago
  98. 4a77edb Remove some now-unneeded calls to llvm::errs().flush(). by Daniel Dunbar · 16 years ago
  99. 0e5c8d4 BugReporter: by Ted Kremenek · 16 years ago
  100. 25d01ba retain/release checker: Allow allocations to fail by returning nil. by Ted Kremenek · 16 years ago