Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / b9bbd592c7ea72ada8d982e40a729beb9b53371e / test / Analysis
  1. 181cc3d Fix pr6293. If ptr is NULL, no operation is preformed. by Zhongxing Xu · 14 years ago
  2. 24c37ad Enhance RegionStore::InvalidateRegions() to correctly invalidate bindings by Ted Kremenek · 14 years ago
  3. 8ec4aac Fix lookup of fields from lazy bindings to check if the region is by Ted Kremenek · 14 years ago
  4. 36d02e0 Add support for binding and retrieving VarRegions in flat store. by Zhongxing Xu · 14 years ago
  5. 81861ab Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are implicitly initialized to NULL. by Ted Kremenek · 14 years ago
  6. 4dc1566 Fix regression in RegionStore (from BasicStore) where static variables were not treated as being implicitly initialized to 0 (and instead were getting symbolicated). by Ted Kremenek · 14 years ago
  7. 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 14 years ago
  8. cada305 Add test case showing the analyzer invalidates '__block' variables when the block is passed as an argument to an ObjC method. by Ted Kremenek · 14 years ago
  9. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 14 years ago
  10. 7909fc8 Rename -cc1 option '-warn-objc-missing-dealloc' to '-analyzer-check-objc-missing-dealloc'. by Ted Kremenek · 14 years ago
  11. fa15be4 Rename -cc1 option '-warn-objc-methodsigs' to '-analyzer-check-objc-methodsigs'. by Ted Kremenek · 14 years ago
  12. 2ade536 Rename -cc1 option '-warn-objc-unused-ivars' to '-analyzer-check-objc-unused-ivars'. by Ted Kremenek · 14 years ago
  13. cd9902b Rename -cc1 option '-warn-dead-stores' to '-analyzer-check-dead-stores'. by Ted Kremenek · 14 years ago
  14. fb3f893 Rename -cc1 option '-warn-security-syntactic' to '-analyzer-check-security-syntactic'. by Ted Kremenek · 14 years ago
  15. 68ebd83 Add assorted test cases from PR 4172. by Ted Kremenek · 14 years ago
  16. 95a0112 Specially handle casts to 'void' in AdjustedReturnValueChecker. by Ted Kremenek · 14 years ago
  17. 40c37e1 static analyzer: handle casts of a function to a function pointer with by Ted Kremenek · 14 years ago
  18. 5b29065 Fix regression in RegionStore due to recent changes in by Ted Kremenek · 14 years ago
  19. f681704 Explicitly check for casts to double or complex types instead of possibly asserting in SValuator. by Ted Kremenek · 14 years ago
  20. 61e8e1b Fix bug in GRExprEngine::VisitSizeOfAlignOfExpr() where we do not add by Ted Kremenek · 14 years ago
  21. fee9081 Teach RegionStore to handle initialization of incomplete arrays in structures using a compound value. Fixes <rdar://problem/7515938>. by Ted Kremenek · 15 years ago
  22. 4617191 Insulate these from changes to the default for -Wunreachable-code. by Mike Stump · 15 years ago
  23. 45eb406 Add test case. by Zhongxing Xu · 15 years ago
  24. 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 15 years ago
  25. 425c7ed Add test case for pr6069. by Zhongxing Xu · 15 years ago
  26. 88c8bc8 Don't suggest the developer use 'arc4random' instead of 'rand' when that function is not available. Fixes PR 6012. by Ted Kremenek · 15 years ago
  27. c213b48 Teach BugReporter to "escape" the occurance of '%' characters in diagnostic messages when emitted results to the standard Diagnostics output. Fixes PR 6033. by Ted Kremenek · 15 years ago
  28. 33ec2f8 Simplify test case. This test case also applies to PR 6013. by Ted Kremenek · 15 years ago
  29. 74618de Associate test case with Bugzilla PR. by Ted Kremenek · 15 years ago
  30. 7b81e8f Fix pr6035. by Zhongxing Xu · 15 years ago
  31. 7ef655a implement PR6004, warning about divide and remainder by zero. by Chris Lattner · 15 years ago
  32. 951b334 Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes. by Zhongxing Xu · 15 years ago
  33. 604848a Enhance SVals::getAsRegion: get the region that is converted to an integer. by Zhongxing Xu · 15 years ago
  34. c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 15 years ago
  35. 36fcde0 Make sure this test case tests analyzing both x86_64 and i386 archs. by Ted Kremenek · 15 years ago
  36. 3cd8bd4 Enhance test case. by Zhongxing Xu · 15 years ago
  37. 4a749b9 Fix overzealous assertion in GRExprEngine::VisitLValue(). A by Ted Kremenek · 15 years ago
  38. e030358 add a bunch of missing prototypes to tests by Chris Lattner · 15 years ago
  39. 7960ec3 Fix broken diagnostic when returning the address of a stack-allocated array. by Ted Kremenek · 15 years ago
  40. bc37b8d When binding an rvalue to a reference, create a temporary object. Use by Zhongxing Xu · 15 years ago
  41. 48569f9 Fix handling in GRExprEngine of 'default' branch in switch statements by Ted Kremenek · 15 years ago
  42. 6607aca Move test case to a more appropriate file. by Zhongxing Xu · 15 years ago
  43. 0d1847d Add test case. by Zhongxing Xu · 15 years ago
  44. de0d263 Make static analysis support for C++ 'this' expression context-sensitive. Essentially treat 'this' as a implicit parameter to the method call, and associate a region with it. by Ted Kremenek · 15 years ago
  45. b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 15 years ago
  46. dd8b441 Add analyzer test case for 'ForStmt' with condition variable. by Ted Kremenek · 15 years ago
  47. 4ec010a CFG tweak: in a WhileStmt, the condition variable initializer is evaluated every time the condition is checked. by Ted Kremenek · 15 years ago
  48. 4c508a1 Teach GRExprEngine to handle the initialization of the condition variable of a WhileStmt. by Ted Kremenek · 15 years ago
  49. cafefbe Add test case for PR 4358. by Ted Kremenek · 15 years ago
  50. fcfb503 Teach GRExprEngine to handle the initialization of the condition variable of a SwitchStmt. by Ted Kremenek · 15 years ago
  51. 61dfbec Add CFG support for the condition variable that can appear in IfStmts in C++ mode. by Ted Kremenek · 15 years ago
  52. 604d939 Suppress dead store warnings involving objects initialized with CXXExprTemporaries. by Ted Kremenek · 15 years ago
  53. 5bbc8e7 Fix PR 5857. When casting from a symbolic region to an integer back to a pointer value, we were not correctly layering the correct ElementRegion on the original SymbolicRegion. by Ted Kremenek · 15 years ago
  54. 077a40d Also treat the type of the subexpression as a pointer in GRExprEngine::VisitCast when the expression is handled as an lvalue. by Ted Kremenek · 15 years ago
  55. 949bdb4 Add basic support for analyzing CastExprs as lvalues. by Ted Kremenek · 15 years ago
  56. 38ac4f5 Add transfer functions support for visiting an Objective-C message expression as an lvalue when the return type is a C++ reference. by Ted Kremenek · 15 years ago
  57. 910e408 Use the FunctionDecl's result type to know exactly if it returns a reference. by Zhongxing Xu · 15 years ago
  58. 5328751 Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncovered a new failing test case along the way, but we're making progress on handling C++ references in the analyzer. by Ted Kremenek · 15 years ago
  59. d87682e Add failing test case for C++ static analysis. by Ted Kremenek · 15 years ago
  60. 772494c Add abort() as a builtin. This has two effects: one, we warn for incorrect by Eli Friedman · 15 years ago
  61. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 15 years ago
  62. a572887 Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 15 years ago
  63. 43f19e3 Until we can make the dead stores checker smarter, dont' emit dead store warnings for C++ objects (whose constructors/destructors have possible side-effects). by Ted Kremenek · 15 years ago
  64. 5348f94 Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on captured block variables that are passed by reference by Ted Kremenek · 15 years ago
  65. ef74f4c Replace clang-cc with clang -cc1. by Zhongxing Xu · 15 years ago
  66. d9c84c8 Add initial support for realloc() in MallocChecker. by Zhongxing Xu · 15 years ago
  67. 2b87ae4 Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>. by Ted Kremenek · 15 years ago
  68. 6bcd5a0 Fix null dereference in OSAtomicChecker and special case SymbolicRegions. We still aren't handling them correctly; I've added to failing test cases to test/Analysis/NSString-failed-cases.m that should pass and then be merged in to test/Analysis/NSString.m. by Ted Kremenek · 15 years ago
  69. 2f4a6b2 OSAtomic simulation: use the original region as the location to load from, by Zhongxing Xu · 15 years ago
  70. bcb02fc Add notes to a test case. by Zhongxing Xu · 15 years ago
  71. 17f4da8 Fix a horrid bug in GRExprEngine::CheckerVisit() that was identified by Ted Kremenek · 15 years ago
  72. e605efd Add test case for mktemp. Patch by Lei Zhang. by Zhongxing Xu · 15 years ago
  73. 9f303be Add another blocks test case illustrating how parameters passed-by-reference in block invocations are invalidated (just like function calls). by Ted Kremenek · 15 years ago
  74. 2ffbfd9 Add value invalidation logic for block-captured variables. Conceptually invoking a block (without specific reasoning of what the block does) can invalidate any value to it by reference when the block was created. by Ted Kremenek · 15 years ago
  75. 74635d8 Add a heuristic to the dead stores checker to prune dead stores for variables annotated with '__block'. This is overly conservative, but now the analyzer doesn't report dead stores for variables that can be updated by a block call. by Ted Kremenek · 15 years ago
  76. 9a0459c Added dead-stores test cases that involve the use of blocks. by Ted Kremenek · 15 years ago
  77. 2b56b9c Add new test case file that focuses on testing analyzer support for blocks. by Ted Kremenek · 15 years ago
  78. 8a90ac0 Normalize options to use '-FOO' instead of '--FOO'. by Daniel Dunbar · 15 years ago
  79. a1c5716 Improve diagnostics in ReturnStackAddressChecker for returning a stack-allocated block. Implements the rest of <rdar://problem/7387385>. by Ted Kremenek · 15 years ago
  80. 3a97634 Add test case that shows that dead stores checking now works in the presence of blocks. by Ted Kremenek · 15 years ago
  81. 38cc6bc Add a PostVisitBlockExpr() method to RetainReleaseChecker to query for by Ted Kremenek · 15 years ago
  82. 772250c Add really basic support for blocks in the retain/release checker. For now, anytime we pass a tracked object to a block call we stop tracking it. by Ted Kremenek · 15 years ago
  83. 7e08dca Convert test case to FileCheck to test the behavior of the nil-receiver checker when the code is targetted for either Tiger or Leopard. by Ted Kremenek · 15 years ago
  84. f81330c For the nil-receiver checker, take into account the behavioral changes that got introduced in Mac OS X 10.5 and later, notably return values of double, float, etc., will not be garbage. Fixes <rdar://problem/6829160>. by Ted Kremenek · 15 years ago
  85. fee96e0 Cleanups and fixes to the nil-receiver checker, some of it fallout the by Ted Kremenek · 15 years ago
  86. e576af2 Enhance null dereference diagnostics by indicating what variable (if any) was dereferenced. Addresses <rdar://problem/7039161>. by Ted Kremenek · 15 years ago
  87. 616cf05 Tweak UndefBranchChecker to register the most nested "undefined" expression with bugreporter::registerTrackNullOrUndefValue instead of the condition itself. by Ted Kremenek · 15 years ago
  88. 04765ac Make 'SEL' pointer to a builtin type and not an by Fariborz Jahanian · 15 years ago
  89. 998c133 Cleanup title/description of "undefined branch" BugType and add some test cases for this check. by Ted Kremenek · 15 years ago
  90. 93fab7c Change CheckDeadStores to use Expr::isNullPointerConstant, which will correctly determine whether an expression is a null pointer constant. by Ted Kremenek · 15 years ago
  91. 13dcd00 This patch implements objective-c's 'SEL' type as a built-in by Fariborz Jahanian · 15 years ago
  92. 7c5c965 Add RegionStore test case that shows that floating point values are also implicitly tracked for undefined values. (test case for <rdar://problem/6811085>). by Ted Kremenek · 15 years ago
  93. 8ea06e9 Add another test case to show the precision of RegionStore over by Ted Kremenek · 15 years ago
  94. c79d7d4 Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions. by Ted Kremenek · 15 years ago
  95. 64fa858 More checker refactoring. Passing undefined values in a message expression is now handled by UndefinedArgChecker. by Ted Kremenek · 15 years ago
  96. 50e837b Add simple static analyzer checker to check for sending 'release', 'retain', etc. directly to a class. Fixes <rdar://problem/7252064>. by Ted Kremenek · 15 years ago
  97. b221e4f Unused ivar checker: ivars referenced by lexically nested functions should not be flagged as unused. Fixes <rdar://problem/7254495>. by Ted Kremenek · 15 years ago
  98. 7f50c17 Really fix test case. by Ted Kremenek · 15 years ago
  99. 5bff70b Fix test case. by Ted Kremenek · 15 years ago
  100. 71a5e28 Fix null dereference in NSAutoreleasePoolChecker when analyzing messages sent to blocks. by Ted Kremenek · 15 years ago