aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2013-05-05Replace ArrayRef<T>() with None, now that we have an implicit ArrayRef constr...Dmitri Gribenko
2013-04-20C++1y: Allow aggregates to have default initializers.Richard Smith
2013-04-08Thread safety analysis: turn on checking within lock and unlock functions.DeLesley Hutchins
2013-04-01Thread safety analysis: Turn on checking for non-scalar types by default.DeLesley Hutchins
2013-03-30[analyzer] Add debug helper LocationContext::dumpStack().Jordan Rose
2013-03-29[cfg] Always guard (when AddStaticInitBranches == true) DeclStmts for static ...Ted Kremenek
2013-03-29Add static analyzer support for conditionally executing static initializers.Ted Kremenek
2013-03-29Add configuration plumbing to enable static initializer branching in the CFG ...Ted Kremenek
2013-03-28Add CFG logic to create a conditional branch for modeling static initializers.Ted Kremenek
2013-03-27Add const in preparation for a simplify_type change in llvm.Rafael Espindola
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-21Replace CFGElement llvm::cast support to be well-defined.David Blaikie
2013-02-21Use None rather than Optional<T>() where possible.David Blaikie
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-08Excise <cctype> from Clang (except clang-tblgen) in favor of CharInfo.h.Jordan Rose
2013-02-05Add note why we used a switch.Ted Kremenek
2013-02-05Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek
2013-02-05[analyzer] add commentAnna Zaks
2013-02-04clang/Analysis: Fix r174245, a valgrind error in AnalysisDeclContext::getBody...NAKAMURA Takumi
2013-02-02[analyzer] Always inline functions with bodies generated by BodyFarm.Anna Zaks
2013-01-19-Wuninitialized: warn about uninitialized values resulting from ?: that evalu...Ted Kremenek
2013-01-18Thread-safety analysis: ignore edges from throw expressions in CFG.DeLesley Hutchins
2013-01-17Format strings: don't ever convert %+d to %lu.Jordan Rose
2013-01-17Format strings: correct signedness if already correcting width (%d,%u).Jordan Rose
2013-01-17Implement C++11 semantics for [[noreturn]] attribute. This required splittingRichard Smith
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2013-01-11Test commit.Enea Zaffanella
2013-01-07CFG.cpp: Fix wrapping logic when printing block preds/succs.Will Dietz
2013-01-02s/CPlusPlus0x/CPlusPlus11/gRichard Smith
2012-12-29ArrayRefize a CompoundStmt constructor.Nico Weber
2012-12-21[analyzer] Fix typos.Anna Zaks
2012-12-21[analyzer] Re-apply r170826 and make the dumping of the GallGraphAnna 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-08Thread-safety analysis: check member access on guarded non-primitive types.DeLesley Hutchins
2012-12-06Use the BlockDecl captures list to infer the direct captures for a BlockDataR...Ted Kremenek
2012-12-05Format strings: offer a cast to 'unichar' for %C in Objective-C contexts.Jordan Rose
2012-12-05Format strings: the correct conversion for 'char' is %c, not %d or %hhd.Jordan Rose
2012-12-05Thread-safety analysis: check locks on method calls, operator=, andDeLesley Hutchins
2012-12-05Thread Safety Analysis: refactor to make more methods accept const pointers,DeLesley Hutchins
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-12-01Include pruning and general cleanup.Benjamin Kramer
2012-12-01Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer
2012-11-17Further reduce "-fsyntax-only -Wuninitialized" time on sqlite3.c by another 2...Ted Kremenek
2012-11-17Switch -Wuninitialized to use a reverse-post order traversal asTed Kremenek
2012-11-13Fix bad CFG construction bug when handling C++ 'try' statements.Ted Kremenek
2012-11-03[analyzer] add LocationContext::inTopFrame() helper.Anna Zaks
2012-10-12Fix potential null deference in CFG printer.Ted Kremenek
2012-10-12Remove dead store.Ted Kremenek