aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
AgeCommit message (Expand)Author
2013-01-11[analyzer] Rename the warning: state the issue before the hint of how itAnna Zaks
2013-01-11[analyzer]Recognize ivar invalidation protocol even if it was redeclaredAnna Zaks
2013-01-11[analyzer] Ivar invalidation: track ivars declared in categories.Anna Zaks
2013-01-10[analyzer] Allow IvarInvalidation checker to suppress warnings viaAnna Zaks
2013-01-10[analyzer] Fix non-determinizm introduced in r172104.Anna Zaks
2013-01-10[analyzer] Add more checks to the ObjC Ivar Invalidation checker.Anna Zaks
2013-01-09Do not model loads from complex types, since we don't accurately model the im...Ted Kremenek
2013-01-08[analyzer] Only include uniqueling location as issue_hash when availableAnna Zaks
2013-01-08[analyzer] Include the bug uniqueing location in the issue_hash.Anna Zaks
2013-01-08[analyzer] Plist: change the type of issue_hash from int to string.Anna Zaks
2013-01-07[analyzer] Fix a false positive in Secure Keychain API checker.Anna Zaks
2013-01-07[analyzer] Fix a false positive in the ivar invalidation checker.Anna Zaks
2013-01-04NSErrorChecker: remove quoting the parameter name in the diagnostic until we ...Ted Kremenek
2013-01-04Tighten code. No functionality change.Ted Kremenek
2013-01-03Make MallocChecker debug output useful.Ted Kremenek
2013-01-03[analyzer] Rename callback EndPath -> EndFunctionAnna Zaks
2013-01-02Re-sort #include lines using the llvm/utils/sort_includes.py script.Chandler Carruth
2012-12-22Fix typo: objc_no_direct_instance_variable_assignmemt => objc_no_direct_insta...Ted Kremenek
2012-12-22[analyzer] Convert SimpleStreamChecker to use the PointerEscape callbackAnna Zaks
2012-12-21[analyzer] Re-apply r170826 and make the dumping of the GallGraphAnna Zaks
2012-12-21Remove duplicate includes.Roman Divacky
2012-12-21[analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks
2012-12-21Revert r170826. The output ofRafael Espindola
2012-12-21[analyzer] Traverse the Call Graph in topological order.Anna Zaks
2012-12-21[analyzer] Add blocks and ObjC messages to the call graph.Anna Zaks
2012-12-20Update RetainCountChecker to understand attribute ns_returns_autoreleased.Ted Kremenek
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-19Pass AnalyzerOptions to PathDiagnosticConsumer to make analyzer options acces...Ted Kremenek
2012-12-17Don't include the header outside the include guards, it defeats the purpose o...Argyrios Kyrtzidis
2012-12-17[analyzer] Tweak the NumFunctionsAnalyzed stat so that it's more useful.Anna Zaks
2012-12-17[analyzer] Implement "do not inline large functions many times"Anna Zaks
2012-12-14fixed line endingsAnton Yartsev
2012-12-14added post-statement callback to CXXNewExpr and pre-statement callback to CXX...Anton Yartsev
2012-12-14[analyzer] Propagate the checker's state from checkBranchConditionAnna Zaks
2012-12-14[analyzer] Refactor: Store visited Decls instead of CallGraphNodes.Anna Zaks
2012-12-14Refactor dump methods to make RegionBindingsRef printable in the debugger.Ted Kremenek
2012-12-13[analyzer] Fix doc error (wrong param name) in ObjCSuperCallChecker.Jordan Rose
2012-12-13[analyzer] Generalize ObjCMissingSuperCallChecker.Jordan Rose
2012-12-13[analyzer] Fix a self-init checker false positive.Anna Zaks
2012-12-12[analyzer] Don't crash running destructors for multidimensional arrays.Jordan Rose
2012-12-11[analyzer] Don't generate a summary for "freeWhenDone" if method isAnna Zaks
2012-12-07[analyzer] Optimization heuristic: do not reanalyze every ObjC method asAnna Zaks
2012-12-07[analyzer] Fix r168019 to work with unpruned paths as well.Jordan Rose
2012-12-07Reduce conversions between Store <-> ImmutableMapRef in RegionStore.Ted Kremenek
2012-12-07Add helper method to convert from a RegionStoreRefBindings to a Store.Ted Kremenek
2012-12-07Cache queries to lookupPrivateMethod() within ObjCMethodCall::getRuntimeDefin...Ted Kremenek
2012-12-07Further reduce analysis time by 0.2% on a heavy Objective-C example by avoidi...Ted Kremenek
2012-12-07Unbreak the GCC (4.4 & other bot) builds from r169571.David Blaikie
2012-12-07Change RegionStore to always use ImmutableMapRef for processing cluster bindi...Ted Kremenek
2012-12-06Revert "[analyzer] Aggressively cut back on the canonicalization in RegionSto...Ted Kremenek