1. 79234ca Add test case for PointerSubChecker. by Zhongxing Xu · 15 years ago
  2. adca271 Refine PointerSubChecker: compare the base region instead of the original by Zhongxing Xu · 15 years ago
  3. e4da0eb update test case. by Zhongxing Xu · 15 years ago
  4. ede7eb2 Add check for pointer arithmetic on non-array variables. by Zhongxing Xu · 15 years ago
  5. bd842e3 Add check for obsolete function call of getpw(). by Zhongxing Xu · 15 years ago
  6. 4f3dc69 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 15 years ago
  7. b10a7c2 Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. by Zhongxing Xu · 15 years ago
  8. 3ce2dc3 Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. This by Zhongxing Xu · 15 years ago
  9. c24e9f3 Add a test case for CWE-467, and simplify the wording of the warning. by Zhongxing Xu · 15 years ago
  10. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  11. 680523a Implement -Wconversion. Off by default, in the non-gcc group. There's by John McCall · 15 years ago
  12. 7344c87 testing: Merge PR3135.c into misc-ps-region-store.m. by Ted Kremenek · 15 years ago
  13. 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
  14. afb32f7 add test case for PR3135 which was already fixed by Nuno Lopes · 15 years ago
  15. ceeb02d Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. by Zhongxing Xu · 15 years ago
  16. ae78447 Tweak wording and classifications of analyzer diagnostics. by Ted Kremenek · 15 years ago
  17. 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
  18. 5206f0b Pull VLA size checker into its own files. by Zhongxing Xu · 15 years ago
  19. 54cb7cc Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool release] in GC mode by Ted Kremenek · 15 years ago
  20. d739021 Switch XFAIL format to match LLVM. by Daniel Dunbar · 15 years ago
  21. 002174f retain/release checker: CGBitmapContextCreateWithData() returns an owned object. by Ted Kremenek · 15 years ago
  22. 882a51e retain/release checker: Add special handling of CGBitmapContextCreateWithData(). by Ted Kremenek · 15 years ago
  23. 5bbe789 Handle loading of field values from LazyCompoundVals in GRExprEngine::VisitMemberExpr(). by Ted Kremenek · 15 years ago
  24. 3f214b3 Fix accidental use of CheckSVal instead of CheckLocation, and add a by Ted Kremenek · 15 years ago
  25. 0175619 Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 15 years ago
  26. d864e1a Add test case for <rdar://problem/7342806>. by Ted Kremenek · 15 years ago
  27. 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
  28. a65c387 Add test cases for <rdar://problem/7332673>. by Ted Kremenek · 15 years ago
  29. ab22ee9 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 15 years ago
  30. e973183 retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule. by Ted Kremenek · 15 years ago
  31. 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
  32. b5deae5 Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely by Ted Kremenek · 15 years ago
  33. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
  34. 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
  35. 6fe2b7a retain/release checker: Use simpler utility method for creating class method summaries. No functionality change. by Ted Kremenek · 15 years ago
  36. 45f7c27 Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 15 years ago
  37. 18e7a3d Add comments to test. by Zhongxing Xu · 15 years ago
  38. 159c53d Add test case for <rdar://problem/7257223>, and XFAIL this test until it passes. by Ted Kremenek · 15 years ago
  39. 008636a retain/release checker: Recognize that calls to by Ted Kremenek · 15 years ago
  40. 6240cf1 retain/release checker: retained objects passed to pthread_create (as by Ted Kremenek · 15 years ago
  41. f66d5cd Turn -Wparentheses on by default. by John McCall · 15 years ago
  42. b1d0422 Fix crash introduced by r83358 where a symbol could be eagerly by Ted Kremenek · 15 years ago
  43. cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 15 years ago
  44. bb206fd Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves! by Ted Kremenek · 15 years ago
  45. 95efe0f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 15 years ago
  46. 9e17cc6 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 15 years ago
  47. a5971b3 Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 15 years ago
  48. f8add9b Remove test case's dependency on platform headers. by Ted Kremenek · 15 years ago
  49. 8780679 Fix: by Ted Kremenek · 15 years ago
  50. 022a125 Added test case for <rdar://problem/7152418>. by Ted Kremenek · 15 years ago
  51. 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
  52. 35dcad8 Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs). by Ted Kremenek · 15 years ago
  53. 0954cde Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions by Ted Kremenek · 15 years ago
  54. 112ba7e Shorten the static analyzer diagnostic for 'use of garbage value'. by Ted Kremenek · 15 years ago
  55. 657406d Fix PR 4988 by removing an invalid assertion (a function can be referenced in by Ted Kremenek · 15 years ago
  56. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
  57. cc969fd Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 15 years ago
  58. c32b244 Add test case for <rdar://problem/6829164>, which was implicitly fixed in r79694. by Ted Kremenek · 15 years ago
  59. 69181a8 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 15 years ago
  60. e0a5807 Re-introduce diagnostic caching in BugReporter that was originally added in by Ted Kremenek · 15 years ago
  61. 7f473c5 Revert most of r82198, which was causing a large number of crashes by Ted Kremenek · 15 years ago
  62. 6a19832 Introduce caching of diagnostics in BugReporter. This provides extra by Ted Kremenek · 15 years ago
  63. 7c039bf Have divide-by-zero checker not handled undefined denominators. This is handled by the generic checking for undefined operands for BinaryOperators. by Ted Kremenek · 15 years ago
  64. e2b5744 Add static analyzer transfer function support for __builtin_offsetof. by Ted Kremenek · 15 years ago
  65. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  66. cfcd7fd Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon entry to a method by Ted Kremenek · 15 years ago
  67. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  68. 2465047 Implement: <rdar://problem/6337100> CWE-338: Use of cryptographically weak prng by Ted Kremenek · 15 years ago
  69. cc58eae Add test case from <rdar://problem/7184450>. by Ted Kremenek · 15 years ago
  70. c761f40 Add uninitialized values test case. by Ted Kremenek · 15 years ago
  71. a834fb4 retain/release checker: [CIContext createCGImage...] and friends returned CF by Ted Kremenek · 15 years ago
  72. 65a81a9 Implement: <rdar://problem/6337132> CWE-273: Failure to Check Whether Privileges by Ted Kremenek · 15 years ago
  73. ab2f43c Fix regression in BasicStoreManager caused by implicitly casting loaded values and trying to load/store from arrays. RegionStoreManager already properly handles these cases well; we just need to gracefully not handle this case in BasicStoreManager. This fixes PR 4781. by Ted Kremenek · 15 years ago
  74. bcf62a9 Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers by Ted Kremenek · 15 years ago
  75. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
  76. ac50213 Add test case for PR 4759. by Ted Kremenek · 15 years ago
  77. ac02f20 retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:' by Ted Kremenek · 15 years ago
  78. caac089 Make this test case more portable by removing its dependency on system header files. by Ted Kremenek · 15 years ago
  79. c484381 retain/release checker: Special case handling of CFAttributedStringSetAttribute, by Ted Kremenek · 15 years ago
  80. 35ffcf3 Fix: <rdar://problem/7075531> static analyzer wrongly detects unused ivars used in blocks by Ted Kremenek · 15 years ago
  81. 566a6fa Fix a few more false positives involving RegionStore and unions, but this time by Ted Kremenek · 15 years ago
  82. d4e5a60 Fix a couple false positive "uninitialized value" warnings with RegionStore by Ted Kremenek · 15 years ago
  83. addc931 Update test case. by Ted Kremenek · 15 years ago
  84. 4ed4598 Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wouldn't correctly get registered in the SubRegion map. by Ted Kremenek · 15 years ago
  85. bfc8168 Add test case. by Zhongxing Xu · 15 years ago
  86. 8eec7c0 Adjust test case. by Ted Kremenek · 15 years ago
  87. 48775d5 Add a pass-by-value test for the analyzer. by Ted Kremenek · 15 years ago
  88. 28ba10c Add test case testing field sensitivity. Reduced from <rdar://problem/7114618>. by Ted Kremenek · 15 years ago
  89. 968f0a6 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 15 years ago
  90. 9a108eb Fix regression in StoreManager::CastRegion() to always treat casts to by Ted Kremenek · 15 years ago
  91. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  92. 39abcdf Temporarily disable out-of-bounds checking. The current checking logic will not work quite right with the changes I'm about to commit. by Ted Kremenek · 15 years ago
  93. 9668b1f Add casts to avoid a bunch of unused expr warnings. (They aren't reported right now due to a bug that I intend to fix). Ted, please review. by Anders Carlsson · 15 years ago
  94. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  95. 6075e00 Add an XFAILed test case that currently crashes for RegionStore. This case will by Ted Kremenek · 15 years ago
  96. 0aeaf5a Add another analyzer test case involving an OSAtomic function. by Ted Kremenek · 15 years ago
  97. f3bfa21 Fix PR 4631. The compound initializers of unions were not being evaluated, which by Ted Kremenek · 15 years ago
  98. bb97722 Fix regression in attribute 'nonnull' checking when a transition node by Ted Kremenek · 15 years ago
  99. efcbb15 Implement: <rdar://problem/6335715> rule request: gets() buffer overflow by Ted Kremenek · 15 years ago
  100. 8baf86d Refine checking and diagnostics for use of floating point variable as a counter. by Ted Kremenek · 15 years ago