Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 0e4f40e1bbc4dce16bbb9870300a435419f1b3d5 / lib / Analysis
  1. b3bf76f Add analyzer support for objc_atomicCompareAndSwap() by Ted Kremenek · 16 years ago
  2. 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 16 years ago
  3. fc3388d Move a few more NonLoc static functions to ValueManager. by Ted Kremenek · 16 years ago
  4. ec13d92 Add prototype for CodeTextRegion. by Zhongxing Xu · 16 years ago
  5. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
  6. 52e5602 Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1) by Ted Kremenek · 16 years ago
  7. b725232 Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allows by Ted Kremenek · 16 years ago
  8. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 16 years ago
  9. 6ab3524 Propagate the ASTContext to various AST traversal and lookup functions. by Douglas Gregor · 16 years ago
  10. 8e5fb28 Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. by Ted Kremenek · 16 years ago
  11. 044b6f0 analyzer: Introduce a new class, ValueManager, that serves as an aggregate by Ted Kremenek · 16 years ago
  12. c565b63 stop using loc::SymbolVal and clean up code with new API. by Zhongxing Xu · 16 years ago
  13. 021887e clean up code with new API. by Zhongxing Xu · 16 years ago
  14. caf8ce1 clean up code with new API. by Zhongxing Xu · 16 years ago
  15. 9cafcd5 clean up code with new API. by Zhongxing Xu · 16 years ago
  16. cfe2991 clean up code with new API. by Zhongxing Xu · 16 years ago
  17. ea7c5ce stop using loc::SymbolVal. by Zhongxing Xu · 16 years ago
  18. 8944c49 stop using loc::SymbolVal. by Zhongxing Xu · 16 years ago
  19. f97c070 stop using loc::SymbolVal. by Zhongxing Xu · 16 years ago
  20. bd41db9 clean up code with new API. by Zhongxing Xu · 16 years ago
  21. 6782f75 clean up code with new API. by Zhongxing Xu · 16 years ago
  22. fe1635b Add a new method because sometimes the type of the conjured symbol is not the by Zhongxing Xu · 16 years ago
  23. 9e82acb make a conjured symbol as the original code. by Zhongxing Xu · 16 years ago
  24. 51ae790 clean up code with new API. by Zhongxing Xu · 16 years ago
  25. f8769c8 Fix a null pointer dereference error due to state caching in a loop involving by Ted Kremenek · 16 years ago
  26. 867418f Create a symbolic region instead of a loc::SymbolVal. This is a continued step by Zhongxing Xu · 16 years ago
  27. fe630b9 GRExprEngine: Don't try to reason about the size of 'void' for the return type by Ted Kremenek · 16 years ago
  28. e644939 Fix another regression introduced by changes to the analyzer's reasoning about by Ted Kremenek · 16 years ago
  29. e8dbf06 Refactor/cleanup reasoning of nil receivers in message expressions. by Ted Kremenek · 16 years ago
  30. 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
  31. 899b3de New static analyzer check by Nikita Zhuk! by Ted Kremenek · 16 years ago
  32. f96f16d Remove hack from LiveVariables analysis where variables whose address are taken by Ted Kremenek · 16 years ago
  33. a5770b9 Remove GetLeakNode. This isn't the right approach. by Ted Kremenek · 16 years ago
  34. 0fa9654 Remove period. by Ted Kremenek · 16 years ago
  35. 0b3c9a9 Eagerly compute the leak location when a leak occurs at the end of a path. by Ted Kremenek · 16 years ago
  36. 581329c Removed some commented code. by Ted Kremenek · 16 years ago
  37. bfd7c9e PathDiagnostic generation: experiment with avoiding generation of control-flow by Ted Kremenek · 16 years ago
  38. 933c422 retain/release checker: When hunting for the leak location, don't walk the by Ted Kremenek · 16 years ago
  39. e97386f Don't overguard to adding a control-flow piece when "alwaysAdd" is true. by Ted Kremenek · 16 years ago
  40. 14856d7 Rewrite control-flow diagnostic generation "extensive" algorithm using "edge by Ted Kremenek · 16 years ago
  41. fea5f5a PathDiagnosticLocation now also wraps Decls. by Ted Kremenek · 16 years ago
  42. 9dab0ed Sentence-case bug type. by Ted Kremenek · 16 years ago
  43. 99d0269 retain/release checker: don't track NSPanel until we have better reasoning about by Ted Kremenek · 16 years ago
  44. a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 16 years ago
  45. efc620c Sentence-type bug type and category. by Ted Kremenek · 16 years ago
  46. 0ddaff3 Add another null pointer check. Simplify condition. by Ted Kremenek · 16 years ago
  47. c2dcd89 Fix grammar. by Ted Kremenek · 16 years ago
  48. 28de78b Add null pointer check. by Ted Kremenek · 16 years ago
  49. 13493ea More title-casing of bug type names. by Ted Kremenek · 16 years ago
  50. 4188409 Title-case the names of bug types. by Ted Kremenek · 16 years ago
  51. 5d88ff8 Title-case the names of bug types. by Ted Kremenek · 16 years ago
  52. 9e2d98d BugReporter, extensive path-diagnostics: add an extra control-flow edge to the by Ted Kremenek · 16 years ago
  53. 0dc65be Fix comment. by Ted Kremenek · 16 years ago
  54. a42c4c9 BugReporter: for extensive path diagnostics: by Ted Kremenek · 16 years ago
  55. 51a735c BugReporter: for extensive PathDiagnostic generation, add control-flow from the by Ted Kremenek · 16 years ago
  56. c3f83ad BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide most by Ted Kremenek · 16 years ago
  57. b930d7a Fix: <rdar://problem/6740387>. Sending nil to an object that returns a struct by Ted Kremenek · 16 years ago
  58. 5fb5dfb - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocation by Ted Kremenek · 16 years ago
  59. 3106198 More code reshuffling. No functionality change. by Ted Kremenek · 16 years ago
  60. 7dc8664 Allow two codepaths for PathDiagnostic generation. This patch mainly consists of by Ted Kremenek · 16 years ago
  61. e8e8648 Re-apply 68028. The code had drifted enough that the tests would fail without by Ted Kremenek · 16 years ago
  62. 782582d Revert 68028. by Ted Kremenek · 16 years ago
  63. be65d90 Remove dead code. by Ted Kremenek · 16 years ago
  64. 93e7145 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 16 years ago
  65. 380022d Simplify more code by using SVal::getAsSymbol() instead of by Ted Kremenek · 16 years ago
  66. 0297ee0 Convert use of loc::SymbolVal and nonloc::SymbolVal to V.getAsSymbol(). This by Ted Kremenek · 16 years ago
  67. 536aa02 Add version of GRExprEngine::AddCheck that registered a GRSimpleAPICheck that by Ted Kremenek · 16 years ago
  68. a45fec1 Make SymbolicRegion untyped. by Zhongxing Xu · 16 years ago
  69. f1d537f Implement a FIXME. by Zhongxing Xu · 16 years ago
  70. 2a8d6b0 Fix regression in pointer comparison with NULL (e.g., 0 != ptr). This fixes by Ted Kremenek · 16 years ago
  71. f5ab8e6 Adjust control-flow endpoints for '&&' and '||'. by Ted Kremenek · 16 years ago
  72. 7e24e82 rename some methods. by Chris Lattner · 16 years ago
  73. 1d9a23a Text PathDiagnosticBuilder::getEnclosingStmt() about '?' by Ted Kremenek · 16 years ago
  74. af3e3d5 Teach PathDiagnosticBuilder::getEnclosingStmtLocation() about while/if/do/for, by Ted Kremenek · 16 years ago
  75. ab3a852 Change compound assignment operators to keep track of both the promoted by Eli Friedman · 16 years ago
  76. d8c938b BugReporter: For control-flow edges from 'if', 'for', 'do', 'while' to by Ted Kremenek · 16 years ago
  77. 00605e0 BugReporter: PathDiagnosticBuilder::ExecutionContinues now returns a by Ted Kremenek · 16 years ago
  78. 73b6a44 remove dead code. by Zhongxing Xu · 16 years ago
  79. babdd7b BugReporter: by Ted Kremenek · 16 years ago
  80. 6fa9c38 remove the updated notes. by Zhongxing Xu · 16 years ago
  81. 6f00204 - Add class PathDiagosticLocationPair. by Ted Kremenek · 16 years ago
  82. becf888 Implement PathDiagnosticLocation::asRange() and PathDiagnosticLocation::asStmt(). by Ted Kremenek · 16 years ago
  83. b773702 Add comment. by Ted Kremenek · 16 years ago
  84. a546500 Restructure code to silence bogus GCC warning. by Ted Kremenek · 16 years ago
  85. 97b4003 - Implement PathDiagnosticLocation::asLocation. by Ted Kremenek · 16 years ago
  86. 1f9bd0f PathDiagnostics (analyzer): by Ted Kremenek · 16 years ago
  87. 8430456 Move "regions" analyzer design document to 'docs'. by Ted Kremenek · 16 years ago
  88. 4b8f99b Simplify some code. No functionality change. by Zhongxing Xu · 16 years ago
  89. 7fddc33 Check in some design documents to centralize ideas around region store and the by Zhongxing Xu · 16 years ago
  90. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  91. a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 16 years ago
  92. 68ac94a analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 16 years ago
  93. 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 16 years ago
  94. bb9b271 GRExprEngine: by Ted Kremenek · 16 years ago
  95. 7037ab8 retain/release checker: Tracking autorelease counts for objects. We're still not by Ted Kremenek · 16 years ago
  96. 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 16 years ago
  97. ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 16 years ago
  98. c2fdb07 Use a work list to recursively build up the subregion mapping, and mark live by Zhongxing Xu · 16 years ago
  99. 6199190 Stub out some code for support for NSDeallocateObject. This is enabled yet until by Ted Kremenek · 16 years ago
  100. f95e9fc retain/release checker: Add support for reasoning about -dealloc. by Ted Kremenek · 16 years ago