1. dd463b8 Enhance null-dereference checker test. by Ted Kremenek · 16 years ago
  2. 595c7ab Added test case. by Ted Kremenek · 16 years ago
  3. efe88f5 Enhanced test case. by Ted Kremenek · 16 years ago
  4. 4489fe1 Add EXTWARN Diagnostic class. by Daniel Dunbar · 16 years ago
  5. 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
  6. f19f911 Remove '.' in expected warning by Ted Kremenek · 16 years ago
  7. fc7ff55 Don't emit 'dead initialization' warnings for variables marked 'unused'. by Ted Kremenek · 16 years ago
  8. 17a61db Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 16 years ago
  9. f071e18 Don't issue a missing +dealloc warning for classes that just contain SEL ivars. by Ted Kremenek · 16 years ago
  10. 08e4b66 Rename test case file. by Ted Kremenek · 16 years ago
  11. b0f3632 Issue dead store warnings for preincrements involved in a subexpression. by Ted Kremenek · 16 years ago
  12. 8b00b6e Added dead stores test case. by Ted Kremenek · 16 years ago
  13. 2cfac22 Further refine dead store checking to distinguish between dead stores and dead increments. by Ted Kremenek · 16 years ago
  14. cc87ba2 Properly skip IBOutlets when checking for unused ivars. by Ted Kremenek · 16 years ago
  15. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  16. c083b0d Added test case. by Ted Kremenek · 16 years ago
  17. f4ebf42 For the MissingDealloc check, don't treat IBOutlet ivars as being needed to be released by Ted Kremenek · 16 years ago
  18. f9c2a5d Distinguish between dead stores and dead initializations. by Ted Kremenek · 16 years ago
  19. 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
  20. 0d8019e Add new check: -check-objc-methodsigs. This check scans methods in by Ted Kremenek · 16 years ago
  21. 66e855f Add test case. by Ted Kremenek · 16 years ago
  22. 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
  23. 489f7b6 '&&' clang commands together so that the test status reflects the results of all three clang executions. by Ted Kremenek · 16 years ago
  24. 0364865 Fix a bug in the dead stores checker reported in the following email: by Ted Kremenek · 16 years ago
  25. aeca963 Skip the "-dealloc" check if a ObjC class contains no ivars. by Ted Kremenek · 16 years ago
  26. 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
  27. 90a929e Update test case with new clang arguments. by Ted Kremenek · 16 years ago
  28. 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
  29. 141d8a0 Fix typo in test case. by Ted Kremenek · 16 years ago
  30. f4381fd Added AnalysisConsumer, a meta-level ASTConsumer class to drive various by Ted Kremenek · 16 years ago
  31. 91d1a14 Added reference count checker test case. by Ted Kremenek · 16 years ago
  32. 04bc876 Added a simple static analysis check to look for improper uses of CFCreateNumber. by Ted Kremenek · 16 years ago
  33. 553cf18 CF ref checker: by Ted Kremenek · 16 years ago
  34. 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
  35. 39a1884 Include stdint.h instead of stdio.h. by Ted Kremenek · 16 years ago
  36. 5bce1b0 Test the dead-store checker using both -warn-dead-stores and -checker-simple. by Ted Kremenek · 16 years ago
  37. 1a654b6 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  38. b8e26e6 Introduce initial transfer function support for __imag__ and __real__. We don't by Ted Kremenek · 16 years ago
  39. d54ae2a Move test case "uninit-msg-expr.m" from Analysis-Apple to Analysis (now works on all platforms). by Ted Kremenek · 16 years ago
  40. 32dc95e Moved test case NoReturn.m from Analysis-Apple to Analysis (now works on all platforms). by Ted Kremenek · 16 years ago
  41. 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
  42. 4b5484a Update test case to use -pedantic (makes the test case more clear). by Ted Kremenek · 16 years ago
  43. dfc996c Fix misspelling of "svelte". by Ted Kremenek · 16 years ago
  44. 7662af4 Move Analysis-Apple/CFString.c to Analysis (the test case now works on all platforms). by Ted Kremenek · 16 years ago
  45. 88739bf Move CFDateGC.m test case from Analysis-Apple to Analysis (it now runs on all platforms). by Ted Kremenek · 16 years ago
  46. 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
  47. 3eb817e Improve dead stores diagnostics to include the variable name. by Ted Kremenek · 16 years ago
  48. 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
  49. a23157e Emit dead store warnings for ++ and -- operators. by Ted Kremenek · 16 years ago
  50. 5c454ab When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 16 years ago
  51. e866a7c Added test case for the static analyzer. by Ted Kremenek · 16 years ago
  52. e2013f5 Added test case to test null dereference checking with lval::ArrayOffset. by Ted Kremenek · 16 years ago
  53. 43ae4b0 Added uninitialized-values (path-sensitive) test case as a regression test by Ted Kremenek · 16 years ago
  54. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  55. 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
  56. 9704eac Added null dereference test involving arrays. by Ted Kremenek · 16 years ago
  57. 3603d73 Added missing expected-warning. by Ted Kremenek · 16 years ago
  58. b9ab690 Added null dereference test case looking for null dereferences involving MemberExpr. by Ted Kremenek · 16 years ago
  59. f87821c Added test case illustrating the use of '&'. by Ted Kremenek · 16 years ago
  60. 49a2fd2 Added test case to dead stores checker. by Ted Kremenek · 16 years ago
  61. d71ed26 Refactored all logic to run the GRSimpleVals and CFRef checker into a common by Ted Kremenek · 16 years ago
  62. 2f54af4 Added path-sensitive null dereference test case. by Ted Kremenek · 16 years ago
  63. 02737ed Added path-sensitive check for return statements that return the address by Ted Kremenek · 16 years ago
  64. 5fb5c6a Changed merge operation for uninitialized values analysis to "intersect" (previous union). by Ted Kremenek · 16 years ago
  65. 0fdf06e Convert tabs to spaces. by Ted Kremenek · 16 years ago
  66. 3907323 GCC has an extension where the left hand side of the ? : operator can be omitted. Handle this in a few more places. by Anders Carlsson · 17 years ago
  67. f5f20bd The checking for the delimiters of expected error/warning messages was by Bill Wendling · 17 years ago
  68. ca7aa1f Added more test cases for uninitialized values checker. by Ted Kremenek · 17 years ago
  69. ff7c538 Fixed bogus culling of uninitialized-values "taint" propagation during assignments. by Ted Kremenek · 17 years ago
  70. bfc5e50 Moved dead-stores test cast to a new test suite subdirectory: Analysis. by Ted Kremenek · 17 years ago