Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 22f638a58ed05579c51ee6a35a1d16a7c2157f90 / lib / Checker
  1. 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
  2. 569c316 Allow reference binding of a reference of Objective-C object type to by Douglas Gregor · 14 years ago
  3. 1fafd1d Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations) by Tom Care · 14 years ago
  4. dde201b Fix 80 col. violations. by Ted Kremenek · 14 years ago
  5. 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
  6. 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
  7. 68df730 If all nodes are sunk, bail out early. This make the later check for checkersEvaluated really meaningful. by Zhongxing Xu · 14 years ago
  8. 1c7370f Don't assert on a file stream if its state is not tracked. Fix pr7831. by Zhongxing Xu · 14 years ago
  9. 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
  10. 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
  11. 9b44eaf Revert r110317, and add a comment why the assertion is not an invariant. by Ted Kremenek · 14 years ago
  12. 156361d Make checker recognize OffsetOfExpr as a form of __builtin_offsetof. by Eli Friedman · 14 years ago
  13. f5072af Turn the predicate into an assertion. When could the unequal case happen? by Zhongxing Xu · 14 years ago
  14. a9c7621 Tweak GRState::unbindLoc to use makeWithStore, and make sure it's only called for non-region locations. by Jordy Rose · 14 years ago
  15. 58f8b20 Remove InvalidateRegion from stores, since it's no longer called from outside. by Jordy Rose · 14 years ago
  16. 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
  17. 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
  18. f890679 Improved false positive detection and numerous small issues in UnreachableCodeChecker by Tom Care · 14 years ago
  19. 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
  20. e3273e7 Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We by Zhongxing Xu · 14 years ago
  21. e888233 Pull the region offset computation logic into a single method. by Zhongxing Xu · 14 years ago
  22. 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
  23. 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
  24. 074ae35 Fix idempotent operations false positive caused by ivars not being invalidated in function by Ted Kremenek · 14 years ago
  25. 4204f07 Further adjustments to -Wglobal-constructors; works for references and direct by John McCall · 14 years ago
  26. fe97fa1 'Assumption &A' gets default initialized to 'Possible' if it doesn't exist; no need to two by Ted Kremenek · 14 years ago
  27. 7caf9b3 Improve flat store: MemRegion::getAsOffset() computes a region's offset within by Zhongxing Xu · 14 years ago
  28. 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
  29. 216b201 Uncomment unfinished work bailout in IdempotentOperationsChecker. by Tom Care · 14 years ago
  30. 167cc37 Use a LazyCompoundVal to handle initialization with a string literal, rather than copying each character. by Jordy Rose · 14 years ago
  31. 741b9be Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675. by Ted Kremenek · 14 years ago
  32. 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
  33. 17c571c Change SymbolManager::canSymbolicate() to return true for RecordTypes. by Ted Kremenek · 14 years ago
  34. c070843 Explicitly guard in BasicStore from storing to non-scalars. by Ted Kremenek · 14 years ago
  35. 0e82a93 Remove extraneous guards around the call to getConjuredSymbolVal(). These checks are already done within getConjuredSymbolVal() itself. by Ted Kremenek · 14 years ago
  36. 7bce3a1 Added some false positive checking to UnreachableCodeChecker by Tom Care · 14 years ago
  37. a9fbf5b Extracted out some useful common functions in IdempotentOperationChecker to their own CheckerHelpers file. by Tom Care · 14 years ago
  38. 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
  39. b698688 Put 'Idempotent operations' static analyzer issues in the 'Dead code' category. by Ted Kremenek · 14 years ago
  40. 5e04bdd Don't warn about unreachable code if the block starts with __builtin_unreachable(). by Jordy Rose · 14 years ago
  41. 19c5dd1 Groundwork for C string length tracking. Currently only handles the length of constant string literals, which is not too helpful, and only calls to strlen() are checked. by Jordy Rose · 14 years ago
  42. c4b5bd8 Added an path-sensitive unreachable code checker to the experimental analyzer checks. by Tom Care · 14 years ago
  43. 766c201 Add FILE* leak check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  44. d5ef7b2 Change arg type. by Zhongxing Xu · 14 years ago
  45. 1f19124 Delete unnecessary const_cast. by Zhongxing Xu · 14 years ago
  46. b732791 AnalysisContext is not const. by Zhongxing Xu · 14 years ago
  47. 47dc37f This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  48. 2ce43c8 Make a bunch of new data structures for the new analysis by Zhongxing Xu · 14 years ago
  49. e492340 Move some methods inline. by Zhongxing Xu · 14 years ago
  50. 03509ae Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 14 years ago
  51. bc5495b Constify. by Zhongxing Xu · 14 years ago
  52. bf9c2b2 remove const_cast. by Zhongxing Xu · 14 years ago
  53. ce2bc7e3 constify. by Zhongxing Xu · 14 years ago
  54. 3992a50 Constify. by Zhongxing Xu · 14 years ago
  55. bc46c6b remove CallInliner.cpp. by Zhongxing Xu · 14 years ago
  56. 9843ba9 Add double close check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  57. c6238d2 Reapply r108617. by Zhongxing Xu · 14 years ago
  58. 9638eef BUILD_ARCHIVE is the default for libraries, no need to set it. by Chris Lattner · 14 years ago
  59. ee30965 Revert r108617, it broke the build. by Benjamin Kramer · 14 years ago
  60. 69b8194 Prepare the analyzer for the callee in another translation unit: by Zhongxing Xu · 14 years ago
  61. cb07788 Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by removing a bogus assertion. by Ted Kremenek · 14 years ago
  62. 4532931 Fix APFloat assertion failure in IdempotentOperationChecker resulting in having by Ted Kremenek · 14 years ago
  63. df4ca42 Improved false positive rate for the idempotent operations checker and moved it into the default path-sensitive analysis options. by Tom Care · 14 years ago
  64. ec1b1cc Pass StringRefs by value. by Benjamin Kramer · 14 years ago
  65. e39a389 Introduce a new cast kind for an "lvalue bitcast", which handles by Douglas Gregor · 14 years ago
  66. d325ffb Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero sizes. by Jordy Rose · 14 years ago
  67. ed8abf1 Reinstate the fix for PR7556. A silly use of isTrivial() was by Douglas Gregor · 14 years ago
  68. 8474567 Revert r107828 and r107827, the fix for PR7556, which seems to be by Douglas Gregor · 14 years ago
  69. 016a4a9 Rename CXXZeroInitValueExpr to CXXScalarValueInitExpr, to reflect its by Douglas Gregor · 14 years ago
  70. 082a625 Simplify code and remove comment that is no longer relevant. by Argyrios Kyrtzidis · 14 years ago
  71. 5f1bfc1 Remove Decl::getCompoundBody(). by Argyrios Kyrtzidis · 14 years ago
  72. 06a54a3 Introduce Decl::hasBody() and FunctionDecl::hasBody() and use them instead of getBody() when we are just checking the existence of a body, to avoid de-serialization of the body from PCH. by Argyrios Kyrtzidis · 14 years ago
  73. bc56d1f Add memcmp() and bcmp() to CStringChecker. These check for valid access to the buffer arguments and have a special-case for when the buffer arguments are known to be the same address, or when the size is zero. by Jordy Rose · 14 years ago
  74. a6b808c Cleanup on CStringChecker and its associated tests. Also check for null arguments...which are allowed if the access length is 0! by Jordy Rose · 14 years ago
  75. 7dbf818 Change explicit handling of impossible condition to call llvm_unreachable in IdempotentOperationChecker::PreVisitBinaryOperator. by Tom Care · 14 years ago
  76. 12080d4 Silence an annoying GCC warning about use of an uninitialized variable. Even by Chandler Carruth · 14 years ago
  77. 256565b Use 'llvm_unreachable' to mark impossible code paths so that GCC doesn't by Chandler Carruth · 14 years ago
  78. 0ea0e8b Fix casts in RegionStore to not always assume that bindings are only to SubRegions. Fixes assertion failure by Ted Kremenek · 14 years ago
  79. fa87d81 Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpaceRegion. by Ted Kremenek · 14 years ago
  80. b2242d1 Add comment noting VLASizeChecker's duty in defining a VLA's extent. by Jordy Rose · 14 years ago
  81. ccbf7ee Add a new path-sensitive checker for functions in <string.h>, for both null-terminated strings and memory blocks. Currently only checks memcpy(), memmove(), and bcopy(), but this is intended to be expanded soon. by Jordy Rose · 14 years ago
  82. 0a02e3e Sort CMake file. by Ted Kremenek · 14 years ago
  83. db2fa8a Added a path-sensitive idempotent operation checker (-analyzer-idempotent-operation). Finds idempotent and/or tautological operations in a path sensitive context, flagging operations that have no effect or a predictable effect. by Tom Care · 14 years ago
  84. e4f5d72 Add an assertion. by Zhongxing Xu · 14 years ago
  85. 5dd3af7 Remove the now-unused GRState::isEqual method. Instead of asking if an expression equals a certain value, use SValuator::EvalEQ and GRState::Assume to see if it can, must, or must not equal that value. by Jordy Rose · 14 years ago
  86. 61fb55c Improve NULL-checking for CFRetain/CFRelease. We now remember that the argument was non-NULL, and we report where the null assumption came from (like AttrNonNullChecker already did). by Jordy Rose · 14 years ago
  87. b7e3aab Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still unimplemented. A VLA region's sizeof value matches its extent. by Jordy Rose · 14 years ago
  88. 52e04c5 Track extents for VLAs. by Jordy Rose · 14 years ago
  89. 32f2656 Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals. by Jordy Rose · 14 years ago
  90. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 14 years ago
  91. 7dadf79 Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents. by Jordy Rose · 14 years ago
  92. c77a551 ExplodedGraph never uses ASTContext, remove it. by Zhongxing Xu · 14 years ago
  93. 78b6675 Correctly implement the CheckerVisit optimization introduced in r106884, but this time actually used the cached checker list when calling back to Checker visit methods. This reduces the analysis time for sqlite3.c by 8%. by Ted Kremenek · 14 years ago
  94. a274148 Pointers casted as integers still count as locations to SimpleSValuator, so don't crash if we do a funny thing like ((int)ptr)&1. Fixes PR7527. by Jordy Rose · 14 years ago
  95. e49f2ad Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' also by Ted Kremenek · 14 years ago
  96. d784d4d llvm::errs() is non-buffered, so it doesn't need to be flushed. by Dan Gohman · 14 years ago
  97. eac4a00 Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL(). by Jordy Rose · 14 years ago
  98. 5ca129c Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491. by Jordy Rose · 14 years ago
  99. 1cba3ea Allow '__extension__' to be analyzed in a lvalue context. by Ted Kremenek · 14 years ago
  100. 4d3b1af Relax assertion since non-pod C++ classes are not aggregates, but still can appear in this context. by Ted Kremenek · 14 years ago