- 3366180 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 17 years ago
- 757e535 Add missing "-" that prefix arguments to forward to clang. by Ted Kremenek · 17 years ago
- bb4f7b4 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 Argiris Kirtzidis · 17 years ago
- 5f20a63 Added temporary fix for Obj-C exception handling in the static analyzer: treat these as panic functions. by Ted Kremenek · 17 years ago
- d34b753 Added default ctor to Selector. by Ted Kremenek · 17 years ago
- 1bd6ddb Renamed static method. by Ted Kremenek · 17 years ago
- 513e30a Patch to match and issue diagnostics on property type mismatch. by Fariborz Jahanian · 17 years ago
- 0f84f66 Added __assert_rtn to list of panic functions. by Ted Kremenek · 17 years ago
- d029a6f Use pointer swizziling to unify in ObjCMessageExpr the receiver and classname "fields". This saves us a pointer. by Ted Kremenek · 17 years ago
- 6b008c6 Added ziperr as a panic function. Eventually inter-procedural analysis by Ted Kremenek · 17 years ago
- b52b7f2 Added comments to ObjCMessageExpr. by Ted Kremenek · 17 years ago
- cb470940 When processing "release", "retain", and "autorelease" messages return the by Ted Kremenek · 17 years ago
- 3281a1f Added support for "autorelease" message in CF ref. count checker. by Ted Kremenek · 17 years ago
- 2e33547 Extend InitListExpr API/IMPL to support arbitrary add/remove (in support of the initializer rewrite I am doing). by Steve Naroff · 17 years ago
- ed98660 More ObjC2 property semantics work. Work in progress. by Fariborz Jahanian · 17 years ago
- fe30beb added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 17 years ago
- bcdd331 scan-build: Disable distributed builds for xcodebuild by Ted Kremenek · 17 years ago
- d810bf8 More cleanups with ObjCQualifiedIdType in the static analyzer. by Ted Kremenek · 17 years ago
- c59a8e7 Add placeholder code in the static analyzer for MemberExprs involving struct temporaries. by Ted Kremenek · 17 years ago
- 5c4d409 Add workaround for __builtin_offsetof in the static analyzer. by Ted Kremenek · 17 years ago
- a922326 Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the sizeof of a ObjCInterfaceType. by Ted Kremenek · 17 years ago
- 3194306 Support implicit casts from pointers to references. by Ted Kremenek · 17 years ago
- b4aecd0 When creating LVals for array entries, canonicalize entries with a 0 index. by Ted Kremenek · 17 years ago
- 7cefcac Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
- 60728ac Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
- c37d49e Add conjured symbols for decl initializations. Add db_error as panic function. by Ted Kremenek · 17 years ago
- de9c960 Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ. by Ted Kremenek · 17 years ago
- b033c4a Verify the whole module after codegen to catch silly IR bugs. by Chris Lattner · 17 years ago
- 46f8355 fix 'var unused' warning. by Chris Lattner · 17 years ago
- 440c955 Added test case for the static analyzer. by Ted Kremenek · 17 years ago
- bf57385 Invalidate old subexpression bindings when binding UnknownVal. by Ted Kremenek · 17 years ago
- 7a1f0dc Simplify RemoveDeadBindings. by Ted Kremenek · 17 years ago
- 62d8edb Added test case to test null dereference checking with lval::ArrayOffset. by Ted Kremenek · 17 years ago
- c4385b4 Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 17 years ago
- 7c420a7 Default visbility for instance variables is protected. by Fariborz Jahanian · 17 years ago
- 465f25a Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 17 years ago
- 5f6b442 Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 17 years ago
- 062f6df Pass fobjc-gc-only and fobjc-gc options down to clang. by Ted Kremenek · 17 years ago
- e2dd957 Update typestate logic to support GC-mode. by Ted Kremenek · 17 years ago
- 9b0c09c Implement semantics of CFMakeCollectable for the CF-reference count checker. by Ted Kremenek · 17 years ago
- 102d42e Provide the option to run the CF-retain checker in GC enabled mode. by Ted Kremenek · 17 years ago
- 1e35f30 Convert CFLF to LF. CRLF was causing this test to fail under Mac OS X. by Ted Kremenek · 17 years ago
- 2658c4a Add -fobjc-gc and -fobjc-gc-only options to the driver. by Ted Kremenek · 17 years ago
- d058a9c Bug fix in CFG::getBlockEdgeImpl(): Use a BumpPtrAllocator to allocate by Ted Kremenek · 17 years ago
- 4382eba Call ExitScope before ActOnFinishNamespaceDef. by Argiris Kirtzidis · 17 years ago
- 03e6aaf Parsing of namespaces: by Argiris Kirtzidis · 17 years ago
- 43ce0be Use PushOnScopeChains to introduce a decl into scope. by Argiris Kirtzidis · 17 years ago
- a53d553 Make assertions for all addresses passed to ProgramPoint that they have at least an 8-byte alignment. by Argiris Kirtzidis · 17 years ago
- 0988d3c Pass down more -iXXX options that clang supports by Ted Kremenek · 17 years ago
- a04b176 fix broken tag by Ted Kremenek · 17 years ago
- c39ee14 Another link fix. by Ted Kremenek · 17 years ago
- ac3248d Fix links. by Ted Kremenek · 17 years ago
- e90e323 Fix bug in BugReporter where we didn't handle emitting diagnostics for by Ted Kremenek · 17 years ago
- 8c00304 Added some notes about the LLVM "checker". This isn't a public link yet; still refining. by Ted Kremenek · 17 years ago
- c56ff16 remove the 'unused static' diagnostic from codegen. This should be by Chris Lattner · 17 years ago
- 463ec84 initial support for recognizing __transparent_union__ attributes by Nuno Lopes · 17 years ago
- db47c0e Handle dereferences of function pointers (which return a handle to the function). by Ted Kremenek · 17 years ago
- 2d25638 Don't abort on GetRVal when the LVal is a StringLiteralVal. by Ted Kremenek · 17 years ago
- 3fb7296 Don't emit empty strings for path diagnostics when taking the default branch of a switch statement that has no label. by Ted Kremenek · 17 years ago
- ac91ce9 Do a better job at computing dead symbols. by Ted Kremenek · 17 years ago
- 541db37 Add preliminary support for flagging leaks around when they happen (doesn't work yet). by Ted Kremenek · 17 years ago
- 82163e4 Better handling for directory names in HTML diagnostics. Work in progress. by Ted Kremenek · 17 years ago
- fa7be36 More boilerplate for handling specialized-transfer function logic for dead symbols. by Ted Kremenek · 17 years ago
- 1e89de3 Patch to diagnose inconsistancies between properties declared in current and by Fariborz Jahanian · 17 years ago
- 7487f94 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 17 years ago
- 8e1e5bd Added uninitialized-values (path-sensitive) test case as a regression test by Ted Kremenek · 17 years ago
- a46299c Added test case for functionality fix in rdar://problem/5886141 (handle variadic CF Create functions). by Ted Kremenek · 17 years ago
- ae855d4 CF reference count checker: handle variadic functions that allocate CF objects. by Ted Kremenek · 17 years ago
- d229d96 Have ValidateOutputConstraint return false instead of firing an assertion by Ted Kremenek · 17 years ago
- 854b776 For case statements involving enums, BugReporter now generates PathDiagnostics by Ted Kremenek · 17 years ago
- 8b33566 Fix minor regression in bug report generation. by Ted Kremenek · 17 years ago
- b9b15bf 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 · 17 years ago
- 0a6a80b Fixed: <rdar://problem/5881148> by Ted Kremenek · 17 years ago
- 863b01f TranslationUnit now owns IdentifierTable, TargetInfo, and Selectors objects by Ted Kremenek · 17 years ago
- df3aaa1 Remove false path where the default branch in a switch statement would by Ted Kremenek · 17 years ago
- a7cd988 fix a rewriter crash on zero length files. by Chris Lattner · 17 years ago
- cbdc0ed Added panic function "assfail". by Ted Kremenek · 17 years ago
- dc0569e Patch to build AST for property implementation declarations and by Fariborz Jahanian · 17 years ago
- 47e6138 For default branches in switch statements with no default label, print out by Ted Kremenek · 17 years ago
- cfbc56a Rewrote VisitDeclStmt to properly handle initializers that can do anything. by Ted Kremenek · 17 years ago
- be62129 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 17 years ago
- fe1a0b1 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 · 17 years ago
- ef87a20 "This patch renames by Chris Lattner · 17 years ago
- f309cf9 PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring by Ted Kremenek · 17 years ago
- efb4bd0 Use back() instead of end()-1 by Argiris Kirtzidis · 17 years ago
- 0d9ff34 Added panic function "dtrace_assfail". by Ted Kremenek · 17 years ago
- 6a3d1a0 Add VisitArraySubscriptExpr. by Ted Kremenek · 17 years ago
- 23271be Hardcode "Assert" as a no-return function (panic). by Ted Kremenek · 17 years ago
- 222823a Add some basic ARM asm constraints by Nate Begeman · 17 years ago
- 58fe0eb Added null dereference test involving arrays. by Ted Kremenek · 17 years ago
- bb7c156 Added null-dereference check for ArraySubscriptExpr. by Ted Kremenek · 17 years ago
- e8a27f0 Don't double-increment counter for -arch and -isysroot by Nate Begeman · 17 years ago
- 8acf335 Allow property in base class to be implemented in a derived class. by Fariborz Jahanian · 17 years ago
- 1792bc4 Added missing expected-warning. by Ted Kremenek · 17 years ago
- 6421648 Added null dereference test case looking for null dereferences involving MemberExpr. by Ted Kremenek · 17 years ago
- d0d8620 Added support for detected bad dereferences involving MemberExprs, e.g. x->f where "x" is NULL. by Ted Kremenek · 17 years ago
- ee47c00 Remove unused "verbose" argument to compile(). Also unbreaks ccc-analyzer. by Ted Kremenek · 17 years ago
- 1f02800 More semantics checks of properties. Property implementation can implicitly use by Fariborz Jahanian · 17 years ago
- 900e3dc Support for @dynamic AST build. by Fariborz Jahanian · 17 years ago
- aaa2a0f Pass "-arch" down to clang. by Ted Kremenek · 17 years ago