Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / cad910db92a4f22d6a575d9e7d7250df480ede12 / lib / Checker
  1. 766c201 Add FILE* leak check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  2. d5ef7b2 Change arg type. by Zhongxing Xu · 14 years ago
  3. 1f19124 Delete unnecessary const_cast. by Zhongxing Xu · 14 years ago
  4. b732791 AnalysisContext is not const. by Zhongxing Xu · 14 years ago
  5. 47dc37f This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  6. 2ce43c8 Make a bunch of new data structures for the new analysis by Zhongxing Xu · 14 years ago
  7. e492340 Move some methods inline. by Zhongxing Xu · 14 years ago
  8. 03509ae Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 14 years ago
  9. bc5495b Constify. by Zhongxing Xu · 14 years ago
  10. bf9c2b2 remove const_cast. by Zhongxing Xu · 14 years ago
  11. ce2bc7e3 constify. by Zhongxing Xu · 14 years ago
  12. 3992a50 Constify. by Zhongxing Xu · 14 years ago
  13. bc46c6b remove CallInliner.cpp. by Zhongxing Xu · 14 years ago
  14. 9843ba9 Add double close check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  15. c6238d2 Reapply r108617. by Zhongxing Xu · 14 years ago
  16. 9638eef BUILD_ARCHIVE is the default for libraries, no need to set it. by Chris Lattner · 14 years ago
  17. ee30965 Revert r108617, it broke the build. by Benjamin Kramer · 14 years ago
  18. 69b8194 Prepare the analyzer for the callee in another translation unit: by Zhongxing Xu · 14 years ago
  19. cb07788 Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by removing a bogus assertion. by Ted Kremenek · 14 years ago
  20. 4532931 Fix APFloat assertion failure in IdempotentOperationChecker resulting in having by Ted Kremenek · 14 years ago
  21. 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
  22. ec1b1cc Pass StringRefs by value. by Benjamin Kramer · 14 years ago
  23. e39a389 Introduce a new cast kind for an "lvalue bitcast", which handles by Douglas Gregor · 14 years ago
  24. d325ffb Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero sizes. by Jordy Rose · 14 years ago
  25. ed8abf1 Reinstate the fix for PR7556. A silly use of isTrivial() was by Douglas Gregor · 14 years ago
  26. 8474567 Revert r107828 and r107827, the fix for PR7556, which seems to be by Douglas Gregor · 14 years ago
  27. 016a4a9 Rename CXXZeroInitValueExpr to CXXScalarValueInitExpr, to reflect its by Douglas Gregor · 14 years ago
  28. 082a625 Simplify code and remove comment that is no longer relevant. by Argyrios Kyrtzidis · 14 years ago
  29. 5f1bfc1 Remove Decl::getCompoundBody(). by Argyrios Kyrtzidis · 14 years ago
  30. 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
  31. 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
  32. 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
  33. 7dbf818 Change explicit handling of impossible condition to call llvm_unreachable in IdempotentOperationChecker::PreVisitBinaryOperator. by Tom Care · 14 years ago
  34. 12080d4 Silence an annoying GCC warning about use of an uninitialized variable. Even by Chandler Carruth · 14 years ago
  35. 256565b Use 'llvm_unreachable' to mark impossible code paths so that GCC doesn't by Chandler Carruth · 14 years ago
  36. 0ea0e8b Fix casts in RegionStore to not always assume that bindings are only to SubRegions. Fixes assertion failure by Ted Kremenek · 14 years ago
  37. fa87d81 Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpaceRegion. by Ted Kremenek · 14 years ago
  38. b2242d1 Add comment noting VLASizeChecker's duty in defining a VLA's extent. by Jordy Rose · 14 years ago
  39. 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
  40. 0a02e3e Sort CMake file. by Ted Kremenek · 14 years ago
  41. 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
  42. e4f5d72 Add an assertion. by Zhongxing Xu · 14 years ago
  43. 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
  44. 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
  45. 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
  46. 52e04c5 Track extents for VLAs. by Jordy Rose · 14 years ago
  47. 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
  48. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 14 years ago
  49. 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
  50. c77a551 ExplodedGraph never uses ASTContext, remove it. by Zhongxing Xu · 14 years ago
  51. 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
  52. 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
  53. e49f2ad Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' also by Ted Kremenek · 14 years ago
  54. d784d4d llvm::errs() is non-buffered, so it doesn't need to be flushed. by Dan Gohman · 14 years ago
  55. eac4a00 Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL(). by Jordy Rose · 14 years ago
  56. 5ca129c Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491. by Jordy Rose · 14 years ago
  57. 1cba3ea Allow '__extension__' to be analyzed in a lvalue context. by Ted Kremenek · 14 years ago
  58. 4d3b1af Relax assertion since non-pod C++ classes are not aggregates, but still can appear in this context. by Ted Kremenek · 14 years ago
  59. 4d912b2 When a constant size array is casted to another type, its length should be scaled as well. by Jordy Rose · 14 years ago
  60. 9e9595b Add "checker caching" to GRExprEngine::CheckerVisit to progressively build by Ted Kremenek · 14 years ago
  61. c4a1437 Fix -analyze-display-progress (once again), this time with an additional regression test. by Ted Kremenek · 14 years ago
  62. 7b05030 Change RegionStoreManager::Retrieve to infer the type of a symbolic region from the context when it is not already available. by Tom Care · 14 years ago
  63. 2b11fb2 Return null pointer instead of 'false' (fixes clang warning). by Ted Kremenek · 14 years ago
  64. 0c2e8c8 Add check for illegal whence argument of fseek. by Zhongxing Xu · 14 years ago
  65. ab42130 Should return stateNotNull. by Zhongxing Xu · 14 years ago
  66. 12d213d Let StreamChecker::CheckNullStream() return a GRState after successful check. by Zhongxing Xu · 14 years ago
  67. ccc263b Add 'VisitEndAnalysis' callback to Checker class. This callback is called by GRExprEngine by Ted Kremenek · 14 years ago
  68. 2470446 add comments. by Zhongxing Xu · 14 years ago
  69. 71f219a add comments. by Zhongxing Xu · 14 years ago
  70. 3f8612b Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixes analyzer by Ted Kremenek · 14 years ago
  71. 0c293ea Type Type::isRealFloatingType() that vectors are not floating-point by Douglas Gregor · 14 years ago
  72. 8ad9cbc Don't assert on C++ casts that are currently not handled by the static analyzer. by Ted Kremenek · 14 years ago
  73. c7de88b Add a bunch of stream APIs to SteamChecker. by Zhongxing Xu · 14 years ago
  74. b4954a4 When folding additive operations, convert the values to the same type. When assuming relationships, convert the integers to the same type as the symbol, at least for now. by Jordy Rose · 14 years ago
  75. 9a12685 If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash). by Jordy Rose · 14 years ago
  76. 24ada87 Add braces to avoid an ambiguous else, fixing a GCC warning. by Benjamin Kramer · 14 years ago
  77. 43fdb7f Adds analyzer support for idempotent and tautological binary operations such as "a*0" and "a+0". This is not very powerful, but does make the analyzer look a little smarter than it actually is. by Jordy Rose · 14 years ago
  78. c580f2e Casting to void* or any other pointer-to-sizeless type (e.g. function pointers) causes a divide-by-zero error. Simple fix: check if the pointee type size is 0 and bail out early if it is. by Jordy Rose · 14 years ago
  79. ba0f61c Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 14 years ago
  80. 0a76aae introduce a new CharSourceRange class, and enhance the diagnostics routines by Chris Lattner · 14 years ago
  81. 23d90f9 Add null stream check for more APIs. by Zhongxing Xu · 14 years ago
  82. a816615 Tweak stack address checker to report multiple cases where globals may reference stack memory. by Ted Kremenek · 14 years ago
  83. ee6e4b4 Update CMake build for new attribute changes. by Sean Hunt · 14 years ago
  84. 551bd1f Rework StackAddrLeakChecker to find stores of stack memory addresses to global variables by Ted Kremenek · 14 years ago
  85. 0e9910f Implement RegionStoreManager::iterBindings(). This implementation only returns the base region in by Ted Kremenek · 14 years ago
  86. 744b304 Correctly return early from BasicStoreManager::iterBindings() when the BindingsHandler returns false. by Ted Kremenek · 14 years ago
  87. bd409d0 We return Loc where we know. by Zhongxing Xu · 14 years ago
  88. b0cd34b Typo. by Zhongxing Xu · 14 years ago
  89. b3f4031 Although arguments can not be undefined when we get here, they can still be by Zhongxing Xu · 14 years ago
  90. 7015485 Cast earlier. We know we can get a DefinedSVal. by Zhongxing Xu · 14 years ago
  91. 5126c60 Register CallAndMessageChecker before AttrNonNullChecker. Then we can assume by Zhongxing Xu · 14 years ago
  92. c196095 Add StreamChecker. This checker models and checks stream manipulation functions. by Zhongxing Xu · 14 years ago
  93. 2ade35e Introduce Type::isIntegralOrEnumerationType(), to cover those places by Douglas Gregor · 14 years ago
  94. 9b414d3 Break Frontend's dependency on Rewrite, Checker and CodeGen in shared library configuration by Daniel Dunbar · 14 years ago
  95. a3b6727 Remove an entry for a now deleted file. Fixes the neglected CMake build. ;] by Chandler Carruth · 14 years ago
  96. 9b14683 Merge StackAddrLeakChecker and ReturnStackAddressChecker. by Zhongxing Xu · 14 years ago
  97. 2c46458 Directly compare the StackFrameContext. This greatly simplifies logic and by Zhongxing Xu · 14 years ago
  98. 3104124 Code cleanup: remove explicit flush() in favor of using the ostream's str() by Jordy Rose · 14 years ago
  99. c4dec1c Makefiles: Set Clang CPP compiler flags in a single location, instead of scattered throughout the project Makefiles. by Daniel Dunbar · 14 years ago
  100. afed099 Makefile: Switch Clang Makefiles to always include the top-level Clang Makefile. by Daniel Dunbar · 14 years ago