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