Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / f6c56e2323c3f973253805a2f35629f3253ebed4 / test / Analysis
  1. 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
  2. 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
  3. 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
  4. fee96e0 Cleanups and fixes to the nil-receiver checker, some of it fallout the by Ted Kremenek · 15 years ago
  5. e576af2 Enhance null dereference diagnostics by indicating what variable (if any) was dereferenced. Addresses <rdar://problem/7039161>. by Ted Kremenek · 15 years ago
  6. 616cf05 Tweak UndefBranchChecker to register the most nested "undefined" expression with bugreporter::registerTrackNullOrUndefValue instead of the condition itself. by Ted Kremenek · 15 years ago
  7. 04765ac Make 'SEL' pointer to a builtin type and not an by Fariborz Jahanian · 15 years ago
  8. 998c133 Cleanup title/description of "undefined branch" BugType and add some test cases for this check. by Ted Kremenek · 15 years ago
  9. 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
  10. 13dcd00 This patch implements objective-c's 'SEL' type as a built-in by Fariborz Jahanian · 15 years ago
  11. 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
  12. 8ea06e9 Add another test case to show the precision of RegionStore over by Ted Kremenek · 15 years ago
  13. c79d7d4 Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions. by Ted Kremenek · 15 years ago
  14. 64fa858 More checker refactoring. Passing undefined values in a message expression is now handled by UndefinedArgChecker. by Ted Kremenek · 15 years ago
  15. 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
  16. 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
  17. 7f50c17 Really fix test case. by Ted Kremenek · 15 years ago
  18. 5bff70b Fix test case. by Ted Kremenek · 15 years ago
  19. 71a5e28 Fix null dereference in NSAutoreleasePoolChecker when analyzing messages sent to blocks. by Ted Kremenek · 15 years ago
  20. 027e266 Fix crash when using --analyzer-store=region when handling initializers with nested arrays/structs whose values are not explicitly specified. Fixes <rdar://problem/7403269>. by Ted Kremenek · 15 years ago
  21. 53e8484 Switch -f{builtin,math-errno,rtti} and -analyzer-purge-dead to -...no... variants instead of using llvm::cl::init(true) arguments. by Daniel Dunbar · 15 years ago
  22. d8aefab Drop unnecessary #include. by Daniel Dunbar · 15 years ago
  23. ca74ae7 Use -fblocks and -fobjc-nonfragile-abi when that is what is being tested, instead of forcing the triple. by Daniel Dunbar · 15 years ago
  24. 4985e3e Add PreVisitReturn to Malloc checker. Now we can recognize returned memory by Zhongxing Xu · 15 years ago
  25. 23afaad Don't #include <stdio.h> when tests don't need it, or use clang instead of clang-cc when they do. by Daniel Dunbar · 15 years ago
  26. 243fde9 Add EvalEndPath interface to Checker. Now we can check memory leaked at the by Zhongxing Xu · 15 years ago
  27. 48cebf2 Add newline at the end of the file. by Ted Kremenek · 15 years ago
  28. c6ea5d4 Add test to verify that the analyzer plist output is what we expect. by Ted Kremenek · 15 years ago
  29. 63e963c Handle case of missing '@end' in implementation context by Fariborz Jahanian · 15 years ago
  30. 2f00552 Fix a couple of tests. by Eli Friedman · 15 years ago
  31. c360775 Remove test case's dependency on header file. by Ted Kremenek · 15 years ago
  32. c764d4b Add two new test cases for the Malloc/Free checker. Both have to do with by Ted Kremenek · 15 years ago
  33. ba93087 Add test case that shows a leak we don't catch. by Ted Kremenek · 15 years ago
  34. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  35. fc7ac8f Malloc checker basically works now. by Zhongxing Xu · 15 years ago
  36. ab6d622 Split buffer overflow test case into two test cases, removing out logic that was commented out. by Ted Kremenek · 15 years ago
  37. d694485 Add undefined array subscript checker. by Zhongxing Xu · 15 years ago
  38. 58e689f Reimplement out-of-bound array access checker with the new checker interface. by Zhongxing Xu · 15 years ago
  39. de7d800 CastToStructChecker: use 'isStructureType()' instead of 'isRecordType()' to determine if a pointer is casted to a struct pointer. This fixes an observed false positive when a value is casted to a union. by Ted Kremenek · 15 years ago
  40. 79234ca Add test case for PointerSubChecker. by Zhongxing Xu · 15 years ago
  41. adca271 Refine PointerSubChecker: compare the base region instead of the original by Zhongxing Xu · 15 years ago
  42. e4da0eb update test case. by Zhongxing Xu · 15 years ago
  43. ede7eb2 Add check for pointer arithmetic on non-array variables. by Zhongxing Xu · 15 years ago
  44. bd842e3 Add check for obsolete function call of getpw(). by Zhongxing Xu · 15 years ago
  45. 4f3dc69 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 15 years ago
  46. b10a7c2 Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. by Zhongxing Xu · 15 years ago
  47. 3ce2dc3 Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. This by Zhongxing Xu · 15 years ago
  48. c24e9f3 Add a test case for CWE-467, and simplify the wording of the warning. by Zhongxing Xu · 15 years ago
  49. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  50. 680523a Implement -Wconversion. Off by default, in the non-gcc group. There's by John McCall · 15 years ago
  51. 7344c87 testing: Merge PR3135.c into misc-ps-region-store.m. by Ted Kremenek · 15 years ago
  52. 6f516f5 Sentence-case bug type, and pull tests from region-only-test.c into misc-ps-region.store.m (removing an extra unneeded test file). Also add a bunch of FIXME comments for future enhancements. by Ted Kremenek · 15 years ago
  53. afb32f7 add test case for PR3135 which was already fixed by Nuno Lopes · 15 years ago
  54. ceeb02d Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. by Zhongxing Xu · 15 years ago
  55. ae78447 Tweak wording and classifications of analyzer diagnostics. by Ted Kremenek · 15 years ago
  56. b107c4b Catch uses of undefined values when they are used in assignment, thus catching such bugs closer to the source. by Ted Kremenek · 15 years ago
  57. 5206f0b Pull VLA size checker into its own files. by Zhongxing Xu · 15 years ago
  58. 54cb7cc Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool release] in GC mode by Ted Kremenek · 15 years ago
  59. d739021 Switch XFAIL format to match LLVM. by Daniel Dunbar · 15 years ago
  60. 002174f retain/release checker: CGBitmapContextCreateWithData() returns an owned object. by Ted Kremenek · 15 years ago
  61. 882a51e retain/release checker: Add special handling of CGBitmapContextCreateWithData(). by Ted Kremenek · 15 years ago
  62. 5bbe789 Handle loading of field values from LazyCompoundVals in GRExprEngine::VisitMemberExpr(). by Ted Kremenek · 15 years ago
  63. 3f214b3 Fix accidental use of CheckSVal instead of CheckLocation, and add a by Ted Kremenek · 15 years ago
  64. 0175619 Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 15 years ago
  65. d864e1a Add test case for <rdar://problem/7342806>. by Ted Kremenek · 15 years ago
  66. e8ec699 Unused ivars checker: also check methods in categories that are defined in the same translation unit. Fixes <rdar://problem/6260004>. by Ted Kremenek · 15 years ago
  67. a65c387 Add test cases for <rdar://problem/7332673>. by Ted Kremenek · 15 years ago
  68. ab22ee9 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 15 years ago
  69. e973183 retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule. by Ted Kremenek · 15 years ago
  70. 9b02034 Fix another static analyzer crash due to a corner case in "folding" symbolic values that are constrained to be a constant. by Ted Kremenek · 15 years ago
  71. b5deae5 Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely by Ted Kremenek · 15 years ago
  72. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
  73. 47dcd06 Add a few passing test cases for finding leaks of retained objects stored to arrays (<rdar://problem/7283470>). by Ted Kremenek · 15 years ago
  74. 6fe2b7a retain/release checker: Use simpler utility method for creating class method summaries. No functionality change. by Ted Kremenek · 15 years ago
  75. 45f7c27 Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 15 years ago
  76. 18e7a3d Add comments to test. by Zhongxing Xu · 15 years ago
  77. 159c53d Add test case for <rdar://problem/7257223>, and XFAIL this test until it passes. by Ted Kremenek · 15 years ago
  78. 008636a retain/release checker: Recognize that calls to by Ted Kremenek · 15 years ago
  79. 6240cf1 retain/release checker: retained objects passed to pthread_create (as by Ted Kremenek · 15 years ago
  80. f66d5cd Turn -Wparentheses on by default. by John McCall · 15 years ago
  81. b1d0422 Fix crash introduced by r83358 where a symbol could be eagerly by Ted Kremenek · 15 years ago
  82. cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 15 years ago
  83. bb206fd Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves! by Ted Kremenek · 15 years ago
  84. 95efe0f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 15 years ago
  85. 9e17cc6 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 15 years ago
  86. a5971b3 Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 15 years ago
  87. f8add9b Remove test case's dependency on platform headers. by Ted Kremenek · 15 years ago
  88. 8780679 Fix: by Ted Kremenek · 15 years ago
  89. 022a125 Added test case for <rdar://problem/7152418>. by Ted Kremenek · 15 years ago
  90. 8041747 Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers. by Ted Kremenek · 15 years ago
  91. 35dcad8 Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs). by Ted Kremenek · 15 years ago
  92. 0954cde Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions by Ted Kremenek · 15 years ago
  93. 112ba7e Shorten the static analyzer diagnostic for 'use of garbage value'. by Ted Kremenek · 15 years ago
  94. 657406d Fix PR 4988 by removing an invalid assertion (a function can be referenced in by Ted Kremenek · 15 years ago
  95. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
  96. cc969fd Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 15 years ago
  97. c32b244 Add test case for <rdar://problem/6829164>, which was implicitly fixed in r79694. by Ted Kremenek · 15 years ago
  98. 69181a8 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 15 years ago
  99. e0a5807 Re-introduce diagnostic caching in BugReporter that was originally added in by Ted Kremenek · 15 years ago
  100. 7f473c5 Revert most of r82198, which was causing a large number of crashes by Ted Kremenek · 15 years ago