Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 39d6f07b056c31e1e6b5946165ed4b23e7887f22 / lib / Checker
  1. 017ca15 Add range of return value expression in ReturnUndefChecker. Patch by Jim Goodnow II! by Ted Kremenek · 14 years ago
  2. 6216dc0 Adjusted the semantics of assign checking in IdempotentOperationChecker by Tom Care · 14 years ago
  3. 6cf7502 Revert my user-defined literal commits - r1124{58,60,67} pending by Sean Hunt · 14 years ago
  4. 0016d51 Implement C++0x user-defined string literals. by Sean Hunt · 14 years ago
  5. 66af6ac Add comments. by Zhongxing Xu · 14 years ago
  6. 9edd4d0 Added checking of (x == x) and (x != x) to IdempotentOperationChecker and updated test cases flagged by it. by Tom Care · 14 years ago
  7. 6d0e6ce Enabled relaxed LiveVariables analysis in the path-sensitive engine to increase the coverage of bugs. Primarily affects IdempotentOperationChecker. by Tom Care · 14 years ago
  8. aaca011 Remove an assertion in UnreachableCodeChecker that can be triggered by bugs in other checkers. by Tom Care · 14 years ago
  9. d8421ed Fix bug in IdempotentOperationChecker where an assumption would not get updated properly. by Tom Care · 14 years ago
  10. 34feff6 Fix horrible GRExprEngine bug where switch statements with no 'case:' statements would cause the path to get prematurely aborted. Fixes <rdar://problem/8360854>. by Ted Kremenek · 14 years ago
  11. 4127117 Remove redundant cast<...>. by Ted Kremenek · 14 years ago
  12. d931b08 De-memberify the VarDecl and FunctionDecl StorageClass enums. by John McCall · 14 years ago
  13. c460889 zap dead ctor by Chris Lattner · 14 years ago
  14. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 14 years ago
  15. ef52bcb Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis by Tom Care · 14 years ago
  16. 3bf185b Improve comments. by Zhongxing Xu · 14 years ago
  17. db34ab7 Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. by Tom Care · 14 years ago
  18. 796788f Adjust code placement. by Zhongxing Xu · 14 years ago
  19. a7e6845 Detabify. by Eli Friedman · 14 years ago
  20. dc015e5 Place method near its class. by Zhongxing Xu · 14 years ago
  21. c9509b2 Remove dead code. by Zhongxing Xu · 14 years ago
  22. 81fa4ec Improve comments. by Zhongxing Xu · 14 years ago
  23. 46d1a4f Remove a special case for OSAtomic functions. We can already bind and retrieve by Zhongxing Xu · 14 years ago
  24. 1bf5adf Remove dead code. We no longer need it because now we treat the first element by Zhongxing Xu · 14 years ago
  25. 6145340 remove unused variable. by Zhongxing Xu · 14 years ago
  26. 0b46b1b When invalidating a struct region, whether its type definition exists is not by Zhongxing Xu · 14 years ago
  27. 0752d6d Remove dead code. by Ted Kremenek · 14 years ago
  28. 59b6dca Handle nested compound values in BindArray for multidimensional arrays. Fixes PR7945. by Jordy Rose · 14 years ago
  29. 8e9f30c Remove dead code. Patch by Jon Mulder! by Jordy Rose · 14 years ago
  30. 3c7f413 More PCH -> AST renaming. by Sebastian Redl · 14 years ago
  31. cf807c4 Generate Attr subclasses with TableGen. by Sean Hunt · 14 years ago
  32. 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 14 years ago
  33. 9076014 Remove dead malloc symbols from the symbol-state map. by Jordy Rose · 14 years ago
  34. 09cef09 Use RegionStateTy everywhere we mean ImmutableMap<SymbolRef, RefState> by Jordy Rose · 14 years ago
  35. 9018711 zap dead code. by Chris Lattner · 14 years ago
  36. 4af473c Rewrite code fragment to avoide ICE in MSVC. Fixes PR 7875. Patch by Dimitry Andric! by Ted Kremenek · 14 years ago
  37. 4087f27 StringRef'ication of lots stuff, patch by Peter Davies! by Daniel Dunbar · 14 years ago
  38. 754d2d9 Remove dead code. by Ted Kremenek · 14 years ago
  39. 2f4eaef Convert all uses of StringLiteral::getStrData() to StringLiteral::getString() by Benjamin Kramer · 14 years ago
  40. 649a33a Generate a node instead of a sink. A leak is not a fatal error. by Zhongxing Xu · 14 years ago
  41. 070f2f4 Allow the "size" of a buffer access check to be either signed or unsigned. Fixes PR7925. by Jordy Rose · 14 years ago
  42. 50e8ac2 Added basic psuedoconstant checking in IdempotentOperationChecker and fixed some test cases. by Tom Care · 14 years ago
  43. d5addb4 Instead of using operator bool() for testing if a BindingKey is valid, use an explicit isValid() method. by Jordy Rose · 14 years ago
  44. 1802eeb Move GRState::AssumeInBound out of its header file -- it's not really inline-friendly anymore. by Jordy Rose · 14 years ago
  45. e64f311 Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes: by Jordy Rose · 14 years ago
  46. e701117 - Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking. by Jordy Rose · 14 years ago
  47. 52082af Move GRState's bind* methods out of its header file -- they're too big for inlining now. by Jordy Rose · 14 years ago
  48. 5e4cb34 StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRState now. by Zhongxing Xu · 14 years ago
  49. 57663fe Remove redundant method. by Zhongxing Xu · 14 years ago
  50. 173ff56 Implement MallocChecker::EvalDeadSymbols() with the new API. This time we by Zhongxing Xu · 14 years ago
  51. ba6f816 Remove dead code, caught by unused function warnings. by Argyrios Kyrtzidis · 14 years ago
  52. a526154 Update CStringChecker to take advantage of the new metadata symbols and region change callback. Now does basic tracking of string length for general regions. Currently this is still only used for modeling strlen(). by Jordy Rose · 14 years ago
  53. c2b7dfa Add a callback for when region changes occur. Still somewhat of a work-in-progress, but working! Effect on clients: all changes to a store now go through GRState. by Jordy Rose · 14 years ago
  54. 873f3de Another metadata symbol change (missed a file) by Jordy Rose · 14 years ago
  55. bd533aa Add a new metadata symbol type for checkers to use. Metadata symbols must be associated with a region and will be collected if the region dies or its checker fails to mark it as in use. by Jordy Rose · 14 years ago
  56. de7e662 Zap unused UnaryOperator::OffsetOf. by Eli Friedman · 14 years ago
  57. 505a506 Small changes to UnreachableCodeChecker by Tom Care · 14 years ago
  58. a7a8a45 Improved IdempotentOperationChecker false positives and false negatives. by Tom Care · 14 years ago
  59. 2a47992 Remove OwnershipAttr::Kind, since it's essentially redundant with attr::Kind the way it's being used. Also fix isa<OwnershipAttr> support, break more-than-80-char lines, and other miscellaneous ownership attr cleanup. by Jordy Rose · 14 years ago
  60. a205061 Actually use reduced set of checkers in EvalAssume. by Jordy Rose · 14 years ago
  61. 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 14 years ago
  62. f598087 Have GRCoreEngine record the blocks where analysis was aborted because we visited a block too many times along a given path. This is to support the unreachable code analysis. by Ted Kremenek · 14 years ago
  63. a277e77 Allow EvalBinOpNN to handle expressions of the form $a+$b if $b can be reduced to a constant. by Jordy Rose · 14 years ago
  64. 569c316 Allow reference binding of a reference of Objective-C object type to by Douglas Gregor · 14 years ago
  65. 1fafd1d Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations) by Tom Care · 14 years ago
  66. dde201b Fix 80 col. violations. by Ted Kremenek · 14 years ago
  67. 8c91230 Nest variable declaration into into 'if' condition, thus restricting the scope of the variable and condensing the code. by Ted Kremenek · 14 years ago
  68. cea6865 Use 'GenerateNode()' instead of 'GenerateSink()' when reporting a leak. A leak is not a hard enough bug to stop analyzing a path. by Ted Kremenek · 14 years ago
  69. 68df730 If all nodes are sunk, bail out early. This make the later check for checkersEvaluated really meaningful. by Zhongxing Xu · 14 years ago
  70. 1c7370f Don't assert on a file stream if its state is not tracked. Fix pr7831. by Zhongxing Xu · 14 years ago
  71. b6a4026 When checking if a buffer access is valid, first make sure the buffer has a valid Loc. Fixes PR7830. by Jordy Rose · 14 years ago
  72. 0600918 Fixed logic error in UnreachableCodeChecker's marking algorithm that would sometimes allow for multiple sequential statements to be flagged. by Tom Care · 14 years ago
  73. 9b44eaf Revert r110317, and add a comment why the assertion is not an invariant. by Ted Kremenek · 14 years ago
  74. 156361d Make checker recognize OffsetOfExpr as a form of __builtin_offsetof. by Eli Friedman · 14 years ago
  75. f5072af Turn the predicate into an assertion. When could the unequal case happen? by Zhongxing Xu · 14 years ago
  76. a9c7621 Tweak GRState::unbindLoc to use makeWithStore, and make sure it's only called for non-region locations. by Jordy Rose · 14 years ago
  77. 58f8b20 Remove InvalidateRegion from stores, since it's no longer called from outside. by Jordy Rose · 14 years ago
  78. 4019c4f Correctly handle 'Class<...>' when examining Cocoa conventions in the static analyzer. Fixes a crash reported in <rdar://problem/8272168>. Patch by Henry Mason! by Ted Kremenek · 14 years ago
  79. 72905cf Change the checker callback cache in GRExprEngine to be more compact (and IMHO a little easier to understand), and add the same sort of caching for EvalAssume (tied for least-used callback), mostly as proof-of-concept. by Jordy Rose · 14 years ago
  80. f890679 Improved false positive detection and numerous small issues in UnreachableCodeChecker by Tom Care · 14 years ago
  81. ff59efd Makes GRState::makeWithStore private, to encourage clients to make store changes through GRState instead of directly accessing the StoreManager. Also adds cover methods for InvalidateRegion(s) and EnterStackFrame to GRState. by Jordy Rose · 14 years ago
  82. e3273e7 Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We by Zhongxing Xu · 14 years ago
  83. e888233 Pull the region offset computation logic into a single method. by Zhongxing Xu · 14 years ago
  84. bc42c53 Changed GRExprEngine to pass down a reference to itself when checkers are doing postanalysis. This allows the checker to gather information about the state of the engine when it has finished. by Tom Care · 14 years ago
  85. 9b823e8 Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis) that doesn't prune CFG edges. by Ted Kremenek · 14 years ago
  86. 074ae35 Fix idempotent operations false positive caused by ivars not being invalidated in function by Ted Kremenek · 14 years ago
  87. 4204f07 Further adjustments to -Wglobal-constructors; works for references and direct by John McCall · 14 years ago
  88. fe97fa1 'Assumption &A' gets default initialized to 'Possible' if it doesn't exist; no need to two by Ted Kremenek · 14 years ago
  89. 7caf9b3 Improve flat store: MemRegion::getAsOffset() computes a region's offset within by Zhongxing Xu · 14 years ago
  90. dd0e490 After a lengthy design discussion, add support for "ownership attributes" for malloc/free checking. Patch by Andrew McGregor! by Ted Kremenek · 14 years ago
  91. 216b201 Uncomment unfinished work bailout in IdempotentOperationsChecker. by Tom Care · 14 years ago
  92. 167cc37 Use a LazyCompoundVal to handle initialization with a string literal, rather than copying each character. by Jordy Rose · 14 years ago
  93. 741b9be Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675. by Ted Kremenek · 14 years ago
  94. 281e9dc Augment RegionStore::BindStruct() to bind symbolicated struct values. This fixes a false path issue reported in <rdar://problem/8243408> and also spurs another cause where the idempotent operations checker fires. by Ted Kremenek · 14 years ago
  95. 17c571c Change SymbolManager::canSymbolicate() to return true for RecordTypes. by Ted Kremenek · 14 years ago
  96. c070843 Explicitly guard in BasicStore from storing to non-scalars. by Ted Kremenek · 14 years ago
  97. 0e82a93 Remove extraneous guards around the call to getConjuredSymbolVal(). These checks are already done within getConjuredSymbolVal() itself. by Ted Kremenek · 14 years ago
  98. 7bce3a1 Added some false positive checking to UnreachableCodeChecker by Tom Care · 14 years ago
  99. a9fbf5b Extracted out some useful common functions in IdempotentOperationChecker to their own CheckerHelpers file. by Tom Care · 14 years ago
  100. 3e5637f Finesse 'idempotent operations' analyzer issues to include the opcode of the binary operator for clearer error reporting. Also remove the 'Idempotent operation' prefix in messages; it's redundant since the bug type is the same. by Ted Kremenek · 14 years ago