aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ThreadSafety.cpp
AgeCommit message (Expand)Author
2012-07-10Thread safety analysis: impove handling of trylock expressions.DeLesley Hutchins
2012-07-05Thread-safety analysis: eliminate false positives in case where the definitionDeLesley Hutchins
2012-07-03Thread safety analysis: improve handling of smart pointers.DeLesley Hutchins
2012-07-03Thread Safety Analysis: handle expressions involving temporaries,DeLesley Hutchins
2012-07-02Thread safety analysis: fixed bug that occurs when very silly peopleDeLesley Hutchins
2012-07-02Thread safety analysis: fixed incorrect error message at the end of a locks_r...DeLesley Hutchins
2012-07-02Thread safety analysis: don't warn in case of duplicate annotation.DeLesley Hutchins
2012-07-02Thread Safety Analysis: turn off checking within trylock functions.DeLesley Hutchins
2012-06-28Thread safety analysis: support release() function on scopedDeLesley Hutchins
2012-06-25Thread safety analysis: implement lock_returned attribute.DeLesley Hutchins
2012-06-22Thread safety analysis: fixes a bug in which locksets are not handledDeLesley Hutchins
2012-04-19Refactor the thread safety analysis so that it is easier to doDeLesley Hutchins
2012-03-10Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr toJohn McCall
2012-03-02Thread safety analysis: expand set of expressions that can be used to denote ...DeLesley Hutchins
2012-03-02Thread safety analysis: handle CFG blocks which call functions marked as nore...DeLesley Hutchins
2012-02-16Thread-safety analysis: Disable checking inside constructors, destructors, lo...DeLesley Hutchins
2012-02-16Thread-Safety: added support for 'this' as a lock expression.DeLesley Hutchins
2012-02-03Thread safety analysis:Richard Smith
2012-02-03Thread safety analysis: at a CFG join point between a block terminating in aRichard Smith
2012-01-20Handle thread safety attributes on functions with separate definitions and de...DeLesley Hutchins
2012-01-06Thread safety analysis: added support for trylock attribute.DeLesley Hutchins
2012-01-06Added LocalVariableMapDeLesley Hutchins
2011-12-29Support for thread safety attributes on functionsDeLesley Hutchins
2011-12-08This patch extends thread safety analysis with support for the scoped_lockabl...DeLesley Hutchins
2011-10-24Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek
2011-10-22Refactor ThreadSafety to use PostOrderCFGView instead of its own copy (of Top...Ted Kremenek
2011-10-21Added support for thread safety attributes on destructors.DeLesley Hutchins
2011-10-21Thread safety analysis refactoring: invalid lock expressions.DeLesley Hutchins
2011-10-21Thread safety analysis: add support for attributes on constructors.DeLesley Hutchins
2011-10-21Refactoring and code cleanup.DeLesley Hutchins
2011-10-17Substitute for arguments in method calls -- functionalityDeLesley Hutchins
2011-10-17Substitute for arguments in method calls -- refactoringDeLesley Hutchins
2011-09-20Test commitDeLesley Hutchins
2011-09-16Thread safety: Adding FIXMEs and a couple cleanupsCaitlin Sadowski
2011-09-15Thread safety: completeing the implementation of shared/exclusive locks requi...Caitlin Sadowski
2011-09-15Thread safety: refactoring various out of scope warnings to use the same inte...Caitlin Sadowski
2011-09-14Thread safety: adding additional documentation to the main thread safety inte...Caitlin Sadowski
2011-09-14Thread safety: adding test cases for unparseable lock expressions and expandi...Caitlin Sadowski
2011-09-12Thread safety: small formatting changeCaitlin Sadowski
2011-09-10Silence "end of non-void function" warnings with llvm_unreachable and add an ...Benjamin Kramer
2011-09-09Thread safety: removing unnecessary import and reordering import listCaitlin Sadowski
2011-09-09Thread safety: removing unnecessary importCaitlin Sadowski
2011-09-09Thread safety: This patch deals with previously unhandled cases when building...Caitlin Sadowski
2011-09-09Thread Safety: Moving the analysis to a new fileCaitlin Sadowski