- 143ca22 More refactorings in GeneratePathDiagnostic: use ExecutionContinues to display by Ted Kremenek · 16 years ago
- 5251e13 Patch to refactor setter/getter names of property attributes into Selector by Fariborz Jahanian · 16 years ago
- 1bffd74 Generate "stop" summaries for selectors involving receivers whose type is not NSxxxx. by Ted Kremenek · 16 years ago
- 84548b8 Use strncmp correctly. by Ted Kremenek · 16 years ago
- aee9e57 Make string comparison legible and remove buffer overrun introduced by typo. by Ted Kremenek · 16 years ago
- 70f9d86 String comparison cleanups. Added test case. by Ted Kremenek · 16 years ago
- 3fa0d29 Fix logic error in string processing. by Ted Kremenek · 16 years ago
- 0855dc3 Remove assertion. by Ted Kremenek · 16 years ago
- b309525 Use EvalSummary to process message expressions, thereby unifying the checker by Ted Kremenek · 16 years ago
- 922059d Fixed subtle bug in the an GRAuditor object could mark a node as a sink by Ted Kremenek · 16 years ago
- 1499389 Added receiver effects to EvalSummary. by Ted Kremenek · 16 years ago
- 3c0cea3 Expand summaries to include "Receiver" effects. by Ted Kremenek · 16 years ago
- 3eae03e simplify some builder calls. by Chris Lattner · 16 years ago
- 72cefca remove a stray printout by Chris Lattner · 16 years ago
- b3c3c28 Added initialization code to generate initial set of ObjC method summaries (non-instance methods). by Ted Kremenek · 16 years ago
- 9c32d08 Added code to generate initial set of summaries for instance methods. by Ted Kremenek · 16 years ago
- a647caa Several fixes to SemaInit.cpp. It's still not enabled (since it fails a few tests). Expect to enable it very soon. by Steve Naroff · 16 years ago
- 46e49ee Add summary generation for "initXXX" methods. by Ted Kremenek · 16 years ago
- 789deac Make CF retain diagnostics more succinct. by Ted Kremenek · 16 years ago
- a23157e Emit dead store warnings for ++ and -- operators. by Ted Kremenek · 16 years ago
- 95e2c71 Fix rdar://5905347 a crash on invalid builtin, due to the by Chris Lattner · 16 years ago
- d3dbcf4 Initial work on refactoring the CFRefCount checker so that it is more by Ted Kremenek · 16 years ago
- 37d1084 Add support for -Wimplicit-function-declaration, rdar://5907433 by Chris Lattner · 16 years ago
- 44cbbb0 Fix typo, improve comment. by Chris Lattner · 16 years ago
- 98ed49f Fix a few more bugs in preprocessor expressions w.r.t. ?:. Now I by Chris Lattner · 16 years ago
- 46b55e5 percolate @optional/@required protocols down to ASTs for by Fariborz Jahanian · 16 years ago
- e28565b Improve leak diagnostics to not report a leak on the same line where by Ted Kremenek · 16 years ago
- ce48e00 Improved leak diagnostics. by Ted Kremenek · 16 years ago
- 86ad3bc Minor refactorings/cleanups in CF retain checker and added support for NSMakeCollectable. by Ted Kremenek · 16 years ago
- 5c454ab When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 16 years ago
- 28a309e Fix a bug from when this was a pointer instead of vector. by Chris Lattner · 16 years ago
- 8ed3044 Neil pointed out that clang doesn't generate ranges from diagnostics by Chris Lattner · 16 years ago
- 9e66ba6 fix a bug handling right associative operators that Neil noticed, hopefully by Chris Lattner · 16 years ago
- 8aedf19 Fix PR2281: these two warnings should be promoted to error on by Chris Lattner · 16 years ago
- 019ef7e ||/&& do not do UAC's either. This silences a bogus warning on #if -1 || 4U. by Chris Lattner · 16 years ago
- 463ec60 Neil points out that commas don't do UACs either. by Chris Lattner · 16 years ago
- 9189156 Fix the rest of PR2279: by Chris Lattner · 16 years ago
- d5214b2 Fix PR2279 part C: shifts don't perform the UACs, thanks to Neil by Chris Lattner · 16 years ago
- 2c62a1a use simplified API for making fp constants. by Chris Lattner · 16 years ago
- 3b69115 fix a nasty bug that Neil identifier in pp-expr parsing (this is PR2279 part D). by Chris Lattner · 16 years ago
- a212c56 Simplify FunctionDecl::AddRedeclaration a bit by using std::swap. by Chris Lattner · 16 years ago
- 8fabd78 if a decl is both 'static' and weak or static and inline, its linkage by Chris Lattner · 16 years ago
- be34ac6 add testcase for pr2050 which is now fixed. by Chris Lattner · 16 years ago
- da2d71a improve array type comments. by Chris Lattner · 16 years ago
- d3c3856 add a testcase by Chris Lattner · 16 years ago
- 3e56e0b Remove debugging statement. by Ted Kremenek · 16 years ago
- 200ed92 Rename member variable. by Ted Kremenek · 16 years ago
- 7a4648d Output better paths to display in bug reports and compute a common by Ted Kremenek · 16 years ago
- 57c9934 Another test case for properties in protocols. by Fariborz Jahanian · 16 years ago
- e92c1b2 Improved diagnostics for leaks: now we report which variable was leaked. by Ted Kremenek · 16 years ago
- aebf0cb This patch is about merging ObjC2's properties declared in class by Fariborz Jahanian · 16 years ago
- 9226197 Fixed bug in ObjCIVarExpr: the child iterator now iterates over the Base expression. by Ted Kremenek · 16 years ago
- 9f74161 When running the reference count checker twice (GC and non-GC mode), only emit by Ted Kremenek · 16 years ago
- c29efd8 Bug fix in StmtPrinter to handle pretty-printing ObjCMessageExprs involving variadic methods (also did some cosmetic cleanups in the printing output). by Ted Kremenek · 16 years ago
- 623f83f testcase cleanup by Ted Kremenek · 16 years ago
- fd3344d Static analysis test case for noreturn on exceptions. by Ted Kremenek · 16 years ago
- 6ff6f8b Really noreturn on exceptions. by Ted Kremenek · 16 years ago
- 55c28b7 Lexicographically order enum declarations in AttributeList::Kind. by Ted Kremenek · 16 years ago
- 529a9bd Fix copy-paste bug. by Ted Kremenek · 16 years ago
- 52a67df Remove no longer valid assertion. by Ted Kremenek · 16 years ago
- c9fa2f7 Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 16 years ago
- bb77e9b Do not highlight bogus ranges for leaks. by Ted Kremenek · 16 years ago
- 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
- 8ba5d79 Convert CRLF to LF. by Argyrios Kyrtzidis · 16 years ago
- 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 16 years ago
- 73c083c Add missing "-" that prefix arguments to forward to clang. by Ted Kremenek · 16 years ago
- 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
- e448ab4 Added temporary fix for Obj-C exception handling in the static analyzer: treat these as panic functions. by Ted Kremenek · 16 years ago
- c65b8a3 Added default ctor to Selector. by Ted Kremenek · 16 years ago
- b83e02e Renamed static method. by Ted Kremenek · 16 years ago
- 3435096 Patch to match and issue diagnostics on property type mismatch. by Fariborz Jahanian · 16 years ago
- 24cb8a2 Added __assert_rtn to list of panic functions. by Ted Kremenek · 16 years ago
- ea958e57 Use pointer swizziling to unify in ObjCMessageExpr the receiver and classname "fields". This saves us a pointer. by Ted Kremenek · 16 years ago
- c7122d5 Added ziperr as a panic function. Eventually inter-procedural analysis by Ted Kremenek · 16 years ago
- 66783ca Added comments to ObjCMessageExpr. by Ted Kremenek · 16 years ago
- 31593ac When processing "release", "retain", and "autorelease" messages return the by Ted Kremenek · 16 years ago
- 5934cee Added support for "autorelease" message in CF ref. count checker. by Ted Kremenek · 16 years ago
- 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
- 02edb98 More ObjC2 property semantics work. Work in progress. by Fariborz Jahanian · 16 years ago
- 072192b added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 16 years ago
- 6b62898 scan-build: Disable distributed builds for xcodebuild by Ted Kremenek · 16 years ago
- c1ff3cd More cleanups with ObjCQualifiedIdType in the static analyzer. by Ted Kremenek · 16 years ago
- ee90dba Add placeholder code in the static analyzer for MemberExprs involving struct temporaries. by Ted Kremenek · 16 years ago
- a084bb6 Add workaround for __builtin_offsetof in the static analyzer. by Ted Kremenek · 16 years ago
- f342d18 Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the sizeof of a ObjCInterfaceType. by Ted Kremenek · 16 years ago
- e8c2bde Support implicit casts from pointers to references. by Ted Kremenek · 16 years ago
- c52c89a When creating LVals for array entries, canonicalize entries with a 0 index. by Ted Kremenek · 16 years ago
- c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
- 036dce0 Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
- f47bb78 Add conjured symbols for decl initializations. Add db_error as panic function. by Ted Kremenek · 16 years ago
- c3b7f0e Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ. by Ted Kremenek · 16 years ago
- a1945fa Verify the whole module after codegen to catch silly IR bugs. by Chris Lattner · 16 years ago
- 2262494 fix 'var unused' warning. by Chris Lattner · 16 years ago
- e866a7c Added test case for the static analyzer. by Ted Kremenek · 16 years ago
- 436f2b9 Invalidate old subexpression bindings when binding UnknownVal. by Ted Kremenek · 16 years ago
- ad87d25 Simplify RemoveDeadBindings. by Ted Kremenek · 16 years ago
- e2013f5 Added test case to test null dereference checking with lval::ArrayOffset. by Ted Kremenek · 16 years ago
- 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
- aa847fe Default visbility for instance variables is protected. by Fariborz Jahanian · 16 years ago
- 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago