1. bb77e9b Do not highlight bogus ranges for leaks. by Ted Kremenek · 16 years ago
  2. 0cca749 Replace Sema::CheckInitializerListTypes() with a helper class (InitListChecker) that synthesizes implicit InitListExpr's when appropriate (see InitListExpr comments in Expr.h for more details). I also moved the code to SemaInit.cpp, to help reduce clutter in SemaDecl.cpp. by Steve Naroff · 16 years ago
  3. 8ba5d79 Convert CRLF to LF. by Argyrios Kyrtzidis · 16 years ago
  4. 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 16 years ago
  5. 73c083c Add missing "-" that prefix arguments to forward to clang. by Ted Kremenek · 16 years ago
  6. 93213bb Implicitly defined functions were getting the DeclContext of the function where they appeared, causing the bug: http://llvm.org/bugs/show_bug.cgi?id=2266. by Argyrios Kyrtzidis · 16 years ago
  7. e448ab4 Added temporary fix for Obj-C exception handling in the static analyzer: treat these as panic functions. by Ted Kremenek · 16 years ago
  8. c65b8a3 Added default ctor to Selector. by Ted Kremenek · 16 years ago
  9. b83e02e Renamed static method. by Ted Kremenek · 16 years ago
  10. 3435096 Patch to match and issue diagnostics on property type mismatch. by Fariborz Jahanian · 16 years ago
  11. 24cb8a2 Added __assert_rtn to list of panic functions. by Ted Kremenek · 16 years ago
  12. ea958e57 Use pointer swizziling to unify in ObjCMessageExpr the receiver and classname "fields". This saves us a pointer. by Ted Kremenek · 16 years ago
  13. c7122d5 Added ziperr as a panic function. Eventually inter-procedural analysis by Ted Kremenek · 16 years ago
  14. 66783ca Added comments to ObjCMessageExpr. by Ted Kremenek · 16 years ago
  15. 31593ac When processing "release", "retain", and "autorelease" messages return the by Ted Kremenek · 16 years ago
  16. 5934cee Added support for "autorelease" message in CF ref. count checker. by Ted Kremenek · 16 years ago
  17. c5ae899 Extend InitListExpr API/IMPL to support arbitrary add/remove (in support of the initializer rewrite I am doing). by Steve Naroff · 16 years ago
  18. 02edb98 More ObjC2 property semantics work. Work in progress. by Fariborz Jahanian · 16 years ago
  19. 072192b added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 16 years ago
  20. 6b62898 scan-build: Disable distributed builds for xcodebuild by Ted Kremenek · 16 years ago
  21. c1ff3cd More cleanups with ObjCQualifiedIdType in the static analyzer. by Ted Kremenek · 16 years ago
  22. ee90dba Add placeholder code in the static analyzer for MemberExprs involving struct temporaries. by Ted Kremenek · 16 years ago
  23. a084bb6 Add workaround for __builtin_offsetof in the static analyzer. by Ted Kremenek · 16 years ago
  24. f342d18 Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the sizeof of a ObjCInterfaceType. by Ted Kremenek · 16 years ago
  25. e8c2bde Support implicit casts from pointers to references. by Ted Kremenek · 16 years ago
  26. c52c89a When creating LVals for array entries, canonicalize entries with a 0 index. by Ted Kremenek · 16 years ago
  27. c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
  28. 036dce0 Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
  29. f47bb78 Add conjured symbols for decl initializations. Add db_error as panic function. by Ted Kremenek · 16 years ago
  30. c3b7f0e Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ. by Ted Kremenek · 16 years ago
  31. a1945fa Verify the whole module after codegen to catch silly IR bugs. by Chris Lattner · 16 years ago
  32. 2262494 fix 'var unused' warning. by Chris Lattner · 16 years ago
  33. e866a7c Added test case for the static analyzer. by Ted Kremenek · 16 years ago
  34. 436f2b9 Invalidate old subexpression bindings when binding UnknownVal. by Ted Kremenek · 16 years ago
  35. ad87d25 Simplify RemoveDeadBindings. by Ted Kremenek · 16 years ago
  36. e2013f5 Added test case to test null dereference checking with lval::ArrayOffset. by Ted Kremenek · 16 years ago
  37. 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
  38. aa847fe Default visbility for instance variables is protected. by Fariborz Jahanian · 16 years ago
  39. 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
  40. 1b8bd4d Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 16 years ago
  41. 688e659 Pass fobjc-gc-only and fobjc-gc options down to clang. by Ted Kremenek · 16 years ago
  42. 65c9165 Update typestate logic to support GC-mode. by Ted Kremenek · 16 years ago
  43. 377e230 Implement semantics of CFMakeCollectable for the CF-reference count checker. by Ted Kremenek · 16 years ago
  44. e5c3012 Provide the option to run the CF-retain checker in GC enabled mode. by Ted Kremenek · 16 years ago
  45. dd6cec1 Convert CFLF to LF. CRLF was causing this test to fail under Mac OS X. by Ted Kremenek · 16 years ago
  46. 01d9dbf Add -fobjc-gc and -fobjc-gc-only options to the driver. by Ted Kremenek · 16 years ago
  47. 274f433 Bug fix in CFG::getBlockEdgeImpl(): Use a BumpPtrAllocator to allocate by Ted Kremenek · 16 years ago
  48. ff87144 Call ExitScope before ActOnFinishNamespaceDef. by Argyrios Kyrtzidis · 16 years ago
  49. 2d1c5d3 Parsing of namespaces: by Argyrios Kyrtzidis · 16 years ago
  50. 642e38b Use PushOnScopeChains to introduce a decl into scope. by Argyrios Kyrtzidis · 16 years ago
  51. 6e5977f Make assertions for all addresses passed to ProgramPoint that they have at least an 8-byte alignment. by Argyrios Kyrtzidis · 16 years ago
  52. dc34300 Pass down more -iXXX options that clang supports by Ted Kremenek · 16 years ago
  53. 87e795e fix broken tag by Ted Kremenek · 16 years ago
  54. 904f100 Another link fix. by Ted Kremenek · 16 years ago
  55. 891a353 Fix links. by Ted Kremenek · 16 years ago
  56. 2673c9f Fix bug in BugReporter where we didn't handle emitting diagnostics for by Ted Kremenek · 16 years ago
  57. ce2e332 Added some notes about the LLVM "checker". This isn't a public link yet; still refining. by Ted Kremenek · 16 years ago
  58. 5827754 remove the 'unused static' diagnostic from codegen. This should be by Chris Lattner · 16 years ago
  59. 27ae6c6 initial support for recognizing __transparent_union__ attributes by Nuno Lopes · 16 years ago
  60. 4b443a6 Handle dereferences of function pointers (which return a handle to the function). by Ted Kremenek · 16 years ago
  61. 2bfe9ea Don't abort on GetRVal when the LVal is a StringLiteralVal. by Ted Kremenek · 16 years ago
  62. 5678392 Don't emit empty strings for path diagnostics when taking the default branch of a switch statement that has no label. by Ted Kremenek · 16 years ago
  63. 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 16 years ago
  64. 652adc6 Add preliminary support for flagging leaks around when they happen (doesn't work yet). by Ted Kremenek · 16 years ago
  65. 7fc8957 Better handling for directory names in HTML diagnostics. Work in progress. by Ted Kremenek · 16 years ago
  66. 846d4e9 More boilerplate for handling specialized-transfer function logic for dead symbols. by Ted Kremenek · 16 years ago
  67. b5e0224 Patch to diagnose inconsistancies between properties declared in current and by Fariborz Jahanian · 16 years ago
  68. 77d7ef8 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 16 years ago
  69. 43ae4b0 Added uninitialized-values (path-sensitive) test case as a regression test by Ted Kremenek · 16 years ago
  70. 08e48c1 Added test case for functionality fix in rdar://problem/5886141 (handle variadic CF Create functions). by Ted Kremenek · 16 years ago
  71. 891d5cc CF reference count checker: handle variadic functions that allocate CF objects. by Ted Kremenek · 16 years ago
  72. 5ab201a Have ValidateOutputConstraint return false instead of firing an assertion by Ted Kremenek · 16 years ago
  73. 5a42995 For case statements involving enums, BugReporter now generates PathDiagnostics by Ted Kremenek · 16 years ago
  74. 6aaca9c Fix minor regression in bug report generation. by Ted Kremenek · 16 years ago
  75. a43a1eb When building PathDiagnostics for bug reports, generate a trimmed ExplodedGraph with a single path that BugReport objects can safely walk and introspect. by Ted Kremenek · 16 years ago
  76. 186350f Fixed: <rdar://problem/5881148> by Ted Kremenek · 16 years ago
  77. c1e9dea TranslationUnit now owns IdentifierTable, TargetInfo, and Selectors objects by Ted Kremenek · 16 years ago
  78. 5014ab1 Remove false path where the default branch in a switch statement would by Ted Kremenek · 16 years ago
  79. c66d0aa fix a rewriter crash on zero length files. by Chris Lattner · 16 years ago
  80. 688738f Added panic function "assfail". by Ted Kremenek · 16 years ago
  81. 628b96f Patch to build AST for property implementation declarations and by Fariborz Jahanian · 16 years ago
  82. 8b90455 For default branches in switch statements with no default label, print out by Ted Kremenek · 16 years ago
  83. 5b7dcce Rewrote VisitDeclStmt to properly handle initializers that can do anything. by Ted Kremenek · 16 years ago
  84. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  85. 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
  86. 9fdf9c6 "This patch renames by Chris Lattner · 16 years ago
  87. 5585114 PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring by Ted Kremenek · 16 years ago
  88. 5fc073f Use back() instead of end()-1 by Argyrios Kyrtzidis · 16 years ago
  89. 9a108ae Added panic function "dtrace_assfail". by Ted Kremenek · 16 years ago
  90. c5b1bf1 Add VisitArraySubscriptExpr. by Ted Kremenek · 16 years ago
  91. 9a094cb Hardcode "Assert" as a no-return function (panic). by Ted Kremenek · 16 years ago
  92. ad487f4 Add some basic ARM asm constraints by Nate Begeman · 16 years ago
  93. 9704eac Added null dereference test involving arrays. by Ted Kremenek · 16 years ago
  94. 540cbe2 Added null-dereference check for ArraySubscriptExpr. by Ted Kremenek · 16 years ago
  95. 4cd3603 Don't double-increment counter for -arch and -isysroot by Nate Begeman · 16 years ago
  96. c70bee8 Allow property in base class to be implemented in a derived class. by Fariborz Jahanian · 16 years ago
  97. 3603d73 Added missing expected-warning. by Ted Kremenek · 16 years ago
  98. b9ab690 Added null dereference test case looking for null dereferences involving MemberExpr. by Ted Kremenek · 16 years ago
  99. 469ecbd Added support for detected bad dereferences involving MemberExprs, e.g. x->f where "x" is NULL. by Ted Kremenek · 16 years ago
  100. fe87354 Remove unused "verbose" argument to compile(). Also unbreaks ccc-analyzer. by Ted Kremenek · 16 years ago