summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis
Commit message (Expand)AuthorAgeFilesLines
* [analyzer; new edges] Simplify edges in a C++11 for-range loop.Jordan Rose2013-06-062-0/+28
* Analysis: Add a CFG successor to a SwitchStmt if it is both empty and fully c...David Majnemer2013-06-041-2/+8
* CFG: In a DeclStmt, skip anything that's not a VarDecl.Jordan Rose2013-06-031-10/+2
* Thread safety analysis: fix use after free bug reported by Evgeniy Stepanov.DeLesley Hutchins2013-05-201-7/+21
* Revert "[analyzer; alternate edges] improve support for edges with PseudoObje...Jordan Rose2013-05-181-22/+8
* Thread safety analysis: add two new attributes to the thread safety analysis:DeLesley Hutchins2013-05-171-8/+41
* [analyzer; alternate edges] improve support for edges with PseudoObjectExprs.Ted Kremenek2013-05-171-8/+22
* Remove unused, awkward CFGStmtVisitor and subclasses.Jordan Rose2013-05-152-116/+1
* Use only explicit bool conversion operatorDavid Blaikie2013-05-151-1/+1
* Add support for __wchar_t in -fms-extensions mode.Hans Wennborg2013-05-103-5/+5
* Replace ArrayRef<T>() with None, now that we have an implicit ArrayRef constr...Dmitri Gribenko2013-05-051-4/+4
* C++1y: Allow aggregates to have default initializers.Richard Smith2013-04-201-0/+5
* Thread safety analysis: turn on checking within lock and unlock functions.DeLesley Hutchins2013-04-081-10/+48
* Thread safety analysis: Turn on checking for non-scalar types by default.DeLesley Hutchins2013-04-011-49/+43
* [analyzer] Add debug helper LocationContext::dumpStack().Jordan Rose2013-03-301-0/+26
* [cfg] Always guard (when AddStaticInitBranches == true) DeclStmts for static ...Ted Kremenek2013-03-291-15/+15
* Add static analyzer support for conditionally executing static initializers.Ted Kremenek2013-03-291-7/+7
* Add configuration plumbing to enable static initializer branching in the CFG ...Ted Kremenek2013-03-291-1/+3
* Add CFG logic to create a conditional branch for modeling static initializers.Ted Kremenek2013-03-281-1/+31
* Add const in preparation for a simplify_type change in llvm.Rafael Espindola2013-03-271-1/+1
* Remove the CFGElement "Invalid" state.David Blaikie2013-02-236-36/+37
* Replace CFGElement llvm::cast support to be well-defined.David Blaikie2013-02-216-47/+47
* Use None rather than Optional<T>() where possible.David Blaikie2013-02-212-3/+3
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-204-12/+12
* Excise <cctype> from Clang (except clang-tblgen) in favor of CharInfo.h.Jordan Rose2013-02-081-3/+3
* Add note why we used a switch.Ted Kremenek2013-02-051-0/+1
* Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek2013-02-051-19/+56
* [analyzer] add commentAnna Zaks2013-02-051-1/+5
* clang/Analysis: Fix r174245, a valgrind error in AnalysisDeclContext::getBody...NAKAMURA Takumi2013-02-041-0/+1
* [analyzer] Always inline functions with bodies generated by BodyFarm.Anna Zaks2013-02-021-2/+15
* -Wuninitialized: warn about uninitialized values resulting from ?: that evalu...Ted Kremenek2013-01-191-0/+10
* Thread-safety analysis: ignore edges from throw expressions in CFG.DeLesley Hutchins2013-01-181-2/+16
* Format strings: don't ever convert %+d to %lu.Jordan Rose2013-01-171-1/+1
* Format strings: correct signedness if already correcting width (%d,%u).Jordan Rose2013-01-171-1/+19
* Implement C++11 semantics for [[noreturn]] attribute. This required splittingRichard Smith2013-01-171-7/+5
* Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko2013-01-123-5/+5
* Test commit.Enea Zaffanella2013-01-111-1/+1
* CFG.cpp: Fix wrapping logic when printing block preds/succs.Will Dietz2013-01-071-2/+2
* s/CPlusPlus0x/CPlusPlus11/gRichard Smith2013-01-023-3/+3
* ArrayRefize a CompoundStmt constructor.Nico Weber2012-12-291-3/+1
* [analyzer] Fix typos.Anna Zaks2012-12-211-2/+2
* [analyzer] Re-apply r170826 and make the dumping of the GallGraphAnna Zaks2012-12-211-13/+16
* Revert r170826. The output ofRafael Espindola2012-12-211-2/+8
* [analyzer] Traverse the Call Graph in topological order.Anna Zaks2012-12-211-8/+2
* [analyzer] Add blocks and ObjC messages to the call graph.Anna Zaks2012-12-211-14/+67
* Thread-safety analysis: check member access on guarded non-primitive types.DeLesley Hutchins2012-12-081-0/+9
* Use the BlockDecl captures list to infer the direct captures for a BlockDataR...Ted Kremenek2012-12-061-4/+7
* Format strings: offer a cast to 'unichar' for %C in Objective-C contexts.Jordan Rose2012-12-051-3/+5
* Format strings: the correct conversion for 'char' is %c, not %d or %hhd.Jordan Rose2012-12-051-1/+1
* Thread-safety analysis: check locks on method calls, operator=, andDeLesley Hutchins2012-12-051-0/+44
OpenPOWER on IntegriCloud