1. c532f63 Add 'expected-warning' for braces around scalar initializer by Ted Kremenek · 16 years ago
  2. 194aade Added compound literal test case. by Ted Kremenek · 16 years ago
  3. 92429dd Add test for SCA region store. by Zhongxing Xu · 16 years ago
  4. 234a7d2 Add test for SCA region store. by Zhongxing Xu · 16 years ago
  5. 5b2316a Do not crash when performing VisitLValue on union types. This fixes PR 2948. by Ted Kremenek · 16 years ago
  6. 2e97120 Add StringLiteral test code. by Zhongxing Xu · 16 years ago
  7. f4b3548 This test no longer is marked XFAIL. by Ted Kremenek · 16 years ago
  8. 72e1682 Add random array and struct test code for SCA. by Zhongxing Xu · 16 years ago
  9. f74675b Temporarily mark this test XFAIL. by Ted Kremenek · 16 years ago
  10. 3ad2cc8 Warn about potentially leaked objects that are returned from methods whose names do not follow the Cocoa Memory Management guidelines. by Ted Kremenek · 16 years ago
  11. 64e859a Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>. by Ted Kremenek · 16 years ago
  12. c498848 Add test case for FuncDecl and function pointer variable. by Zhongxing Xu · 16 years ago
  13. c13b6e2 Further improve path-sensitivity with divide-by-zero checking by assuming that a denominator cannot be zero even when the result of an '/' or '%' expression is unknown. by Ted Kremenek · 16 years ago
  14. 9253b0f Added test case inspired by <rdar://6268365>: recover path-sensitivity after compound assignment when the result of the assignment is not known. by Ted Kremenek · 16 years ago
  15. 6dfe2f5 Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796. by Ted Kremenek · 16 years ago
  16. 5c456fe Use "VisitLValue" when processing the base for "x.f" field accesses, and "Visit" when processing the base for "x->f" field accesses. by Ted Kremenek · 16 years ago
  17. dacd67a This test now passes again. by Ted Kremenek · 16 years ago
  18. 63ffb78 Test now passes. by Ted Kremenek · 16 years ago
  19. b6b81d1 "Implement" GRExprEngine::VisitLValue for ObjCPropertyRefExpr. This is only a bandid; we need to properly handle properties by using locv/nonloc objects and specially handling property assignments in the transfer function for BinaryOperator. by Ted Kremenek · 16 years ago
  20. ef8b28e Add test case for array and struct variable lvalue evaluation. by Zhongxing Xu · 16 years ago
  21. 3397e46 Mark these tests XFAIL. We need to add back assumption logic when doing array and field accesses. by Ted Kremenek · 16 years ago
  22. 380277e Enhance dead store checker to not flag preincrements to dead variables where the preincrement is a subexpression, e.g. foo(++x); This can cause false negatives, but will remove a whole class of false positives. by Ted Kremenek · 16 years ago
  23. cc9ac41 Enhance NSError** checking with analogous checking for CFErrorRef*. by Ted Kremenek · 16 years ago
  24. 9f67ede Added test case. by Ted Kremenek · 16 years ago
  25. d2025e2 Add more control-flow to test case. by Ted Kremenek · 16 years ago
  26. 610a09e Add CFG support for implicit-control flow for VLA size expressions within an SizeOfAlignOfTypeExpr. by Ted Kremenek · 16 years ago
  27. 84fa6b9 Examine VLA size expressions when computing liveness information. by Ted Kremenek · 16 years ago
  28. cafd908 Updated test case. by Ted Kremenek · 16 years ago
  29. d1f5ff7 Added test case. by Ted Kremenek · 16 years ago
  30. fb8a7fd Test case for transfer function logic of const casts. by Ted Kremenek · 16 years ago
  31. 0a41e5a Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu. by Ted Kremenek · 16 years ago
  32. 1cd920a Added test case for PR 2600: proper use of NSError** by Ted Kremenek · 16 years ago
  33. 91985ae Added CFNumberCreate test case to illustrate a 32-bit/64-bit arch issue. by Ted Kremenek · 16 years ago
  34. f6e5ec4 Add path-sensitivity test case. by Ted Kremenek · 16 years ago
  35. e2b0083 Fix copy-paste error in test case. by Ted Kremenek · 16 years ago
  36. 8c3e7fb Minor pass-sensitivity improvement: by Ted Kremenek · 16 years ago
  37. b497ebd Added test case for the dead stores checker that was originally an FP reported in PR 2763. by Ted Kremenek · 16 years ago
  38. 7fb43c1 Tidy up sema processing of attribute "nonull": by Ted Kremenek · 16 years ago
  39. dd463b8 Enhance null-dereference checker test. by Ted Kremenek · 16 years ago
  40. 595c7ab Added test case. by Ted Kremenek · 16 years ago
  41. efe88f5 Enhanced test case. by Ted Kremenek · 16 years ago
  42. 4489fe1 Add EXTWARN Diagnostic class. by Daniel Dunbar · 16 years ago
  43. 22bda88 Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned. by Ted Kremenek · 16 years ago
  44. f19f911 Remove '.' in expected warning by Ted Kremenek · 16 years ago
  45. fc7ff55 Don't emit 'dead initialization' warnings for variables marked 'unused'. by Ted Kremenek · 16 years ago
  46. 17a61db Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 16 years ago
  47. f071e18 Don't issue a missing +dealloc warning for classes that just contain SEL ivars. by Ted Kremenek · 16 years ago
  48. 08e4b66 Rename test case file. by Ted Kremenek · 16 years ago
  49. b0f3632 Issue dead store warnings for preincrements involved in a subexpression. by Ted Kremenek · 16 years ago
  50. 8b00b6e Added dead stores test case. by Ted Kremenek · 16 years ago
  51. 2cfac22 Further refine dead store checking to distinguish between dead stores and dead increments. by Ted Kremenek · 16 years ago
  52. cc87ba2 Properly skip IBOutlets when checking for unused ivars. by Ted Kremenek · 16 years ago
  53. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  54. c083b0d Added test case. by Ted Kremenek · 16 years ago
  55. f4ebf42 For the MissingDealloc check, don't treat IBOutlet ivars as being needed to be released by Ted Kremenek · 16 years ago
  56. f9c2a5d Distinguish between dead stores and dead initializations. by Ted Kremenek · 16 years ago
  57. f7f3c20 Provide an "Analysis Scope" for Analyses so checks can either be run on code declarations (bodies) or Objective-C @implementation blocks. by Ted Kremenek · 16 years ago
  58. 0d8019e Add new check: -check-objc-methodsigs. This check scans methods in by Ted Kremenek · 16 years ago
  59. 66e855f Add test case. by Ted Kremenek · 16 years ago
  60. 560624a '&&' commands together so that the test status reflects the results of all the commands, otherwise the test status will be the result of only the last command. by Argyrios Kyrtzidis · 16 years ago
  61. 489f7b6 '&&' clang commands together so that the test status reflects the results of all three clang executions. by Ted Kremenek · 16 years ago
  62. 0364865 Fix a bug in the dead stores checker reported in the following email: by Ted Kremenek · 16 years ago
  63. aeca963 Skip the "-dealloc" check if a ObjC class contains no ivars. by Ted Kremenek · 16 years ago
  64. db09a4d Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc]. by Ted Kremenek · 16 years ago
  65. 90a929e Update test case with new clang arguments. by Ted Kremenek · 16 years ago
  66. e81da50 Update test case: simply running "clang -checker-simple" doesn't invoke the dead store checker anymore. We need "-warn-dead-stores" as well. by Ted Kremenek · 16 years ago
  67. 141d8a0 Fix typo in test case. by Ted Kremenek · 16 years ago
  68. f4381fd Added AnalysisConsumer, a meta-level ASTConsumer class to drive various by Ted Kremenek · 16 years ago
  69. 91d1a14 Added reference count checker test case. by Ted Kremenek · 16 years ago
  70. 04bc876 Added a simple static analysis check to look for improper uses of CFCreateNumber. by Ted Kremenek · 16 years ago
  71. 553cf18 CF ref checker: by Ted Kremenek · 16 years ago
  72. a734470 The CF retain/release checker now assumes that allocations do not fail. Eventually we will add a flag to the driver to enable allocation failures (documented as a FIXME). by Ted Kremenek · 16 years ago
  73. 39a1884 Include stdint.h instead of stdio.h. by Ted Kremenek · 16 years ago
  74. 5bce1b0 Test the dead-store checker using both -warn-dead-stores and -checker-simple. by Ted Kremenek · 16 years ago
  75. 1a654b6 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  76. b8e26e6 Introduce initial transfer function support for __imag__ and __real__. We don't by Ted Kremenek · 16 years ago
  77. d54ae2a Move test case "uninit-msg-expr.m" from Analysis-Apple to Analysis (now works on all platforms). by Ted Kremenek · 16 years ago
  78. 32dc95e Moved test case NoReturn.m from Analysis-Apple to Analysis (now works on all platforms). by Ted Kremenek · 16 years ago
  79. 859be3b Move NSString.m test case from Analysis-Apple to Analysis. The test case now works on all platforms. by Ted Kremenek · 16 years ago
  80. 4b5484a Update test case to use -pedantic (makes the test case more clear). by Ted Kremenek · 16 years ago
  81. dfc996c Fix misspelling of "svelte". by Ted Kremenek · 16 years ago
  82. 7662af4 Move Analysis-Apple/CFString.c to Analysis (the test case now works on all platforms). by Ted Kremenek · 16 years ago
  83. 88739bf Move CFDateGC.m test case from Analysis-Apple to Analysis (it now runs on all platforms). by Ted Kremenek · 16 years ago
  84. 2f134c6 Moved CFDate.m from test/Analysis-Apple to test/Analysis, and added the necessary declarations from Foundation.h to CFDate.m so that the test case can be exercised on all platforms. by Ted Kremenek · 16 years ago
  85. 3eb817e Improve dead stores diagnostics to include the variable name. by Ted Kremenek · 16 years ago
  86. 5c96c27 Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression. by Ted Kremenek · 16 years ago
  87. a23157e Emit dead store warnings for ++ and -- operators. by Ted Kremenek · 16 years ago
  88. 5c454ab When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 16 years ago
  89. e866a7c Added test case for the static analyzer. by Ted Kremenek · 16 years ago
  90. e2013f5 Added test case to test null dereference checking with lval::ArrayOffset. by Ted Kremenek · 16 years ago
  91. 43ae4b0 Added uninitialized-values (path-sensitive) test case as a regression test by Ted Kremenek · 16 years ago
  92. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  93. 0fe33bc Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 16 years ago
  94. 9704eac Added null dereference test involving arrays. by Ted Kremenek · 16 years ago
  95. 3603d73 Added missing expected-warning. by Ted Kremenek · 16 years ago
  96. b9ab690 Added null dereference test case looking for null dereferences involving MemberExpr. by Ted Kremenek · 16 years ago
  97. f87821c Added test case illustrating the use of '&'. by Ted Kremenek · 17 years ago
  98. 49a2fd2 Added test case to dead stores checker. by Ted Kremenek · 17 years ago
  99. d71ed26 Refactored all logic to run the GRSimpleVals and CFRef checker into a common by Ted Kremenek · 17 years ago
  100. 2f54af4 Added path-sensitive null dereference test case. by Ted Kremenek · 17 years ago