aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2012-09-06Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky
2012-09-05[analyzer] Always include destructors in the analysis CFG.Jordan Rose
2012-09-05Thread-safety analysis: bugfix for case where a trylock occurs in anDeLesley Hutchins
2012-08-31Thread-safety analysis: fix handling of LOCK_RETURNED attribute so that theDeLesley Hutchins
2012-08-31Thread-safety analysis: fix handling of string constants in mutexDeLesley Hutchins
2012-08-24Teach CFG that 'if (x & 0)' and 'if (x * 0)' is an unfeasible branch.Ted Kremenek
2012-08-23[analyzer] Support C++ default arguments if they are literal values.Jordan Rose
2012-08-22Fix an assortment of doxygen comment issues found by -Wdocumentation.Ted Kremenek
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-14[analyzer] Teach live variable analyzes that super uses self pointer.Anna Zaks
2012-08-10Thread-safety-analysis: adds existential quantification over lockDeLesley Hutchins
2012-08-10Thread safety analysis: refactor to support more sophisticated handlingDeLesley Hutchins
2012-08-10Refactor thread safety analysis to use a different data structureDeLesley Hutchins
2012-08-10Add missing cctype includes.Joerg Sonnenberger
2012-08-07Properly check length modfiers for %n in format strings.Hans Wennborg
2012-08-07Remove ScanfArgType and bake that logic into ArgType.Hans Wennborg
2012-08-07Rename analyze_format_string::ArgTypeResult to ArgTypeHans Wennborg
2012-07-31-Wformat: better handling of qualifiers on pointer argumentsHans Wennborg
2012-07-30Make -Wformat check the argument type for %n.Hans Wennborg
2012-07-27Make -Wformat walk the typedef chain when looking for size_t, etc.Hans Wennborg
2012-07-27clang/lib: [CMake] Update tblgen'd dependencies.NAKAMURA Takumi
2012-07-27clang/lib: [CMake] Reformat, alphabetize lists.NAKAMURA Takumi
2012-07-27Final piece of core issue 1330: delay computing the exception specification ofRichard Smith
2012-07-26[analyzer] Don't crash on implicit statements inside initializers.Jordan Rose
2012-07-26[analyzer] Variables with destructors are live until the destructor is run.Jordan Rose
2012-07-24When a && or || appears as the condition of a ?:, perform appropriateRichard Smith
2012-07-23Fix a typo (the the => the)Sylvestre Ledru
2012-07-20Add a reverse iterator to DeclStmt, and use it when building a CFG.Jordan Rose
2012-07-19Simplify UninitializedValues.cpp by removing logic to handle the previous (im...Ted Kremenek
2012-07-18Teach CFG construction about destructors resulting from references to array t...Ted Kremenek
2012-07-17Uninitialized variables: two little changes:Richard Smith
2012-07-17-Wuninitialized: Split the classification of DeclRefExprs as initialization orRichard Smith
2012-07-14Refine CFG so that '&&' and '||' don't lead to extra confluence points when u...Ted Kremenek
2012-07-14Hoist CFG builder logic for '&&' and '||' into helper method. No funcationli...Ted Kremenek
2012-07-14Remove unused method declaration.Ted Kremenek
2012-07-14Sort prototypes. No functionality change.Ted Kremenek
2012-07-13PR13360: When deciding the earliest point which inevitably leads to anRichard Smith
2012-07-10Thread safety analysis: impove handling of trylock expressions.DeLesley Hutchins
2012-07-06Implement AST classes for comments, a real parser for Doxygen comments and aDmitri Gribenko
2012-07-05Thread-safety analysis: eliminate false positives in case where the definitionDeLesley Hutchins
2012-07-04Drop the ASTContext.h include from DeclFriend.h and DeclTemplate.h.Benjamin Kramer
2012-07-04Drop the ASTContext.h include from Stmt.h and fix up transitive users.Benjamin Kramer
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-02-Wuninitialized: assume that an __attribute__((returns_twice)) function mightRichard Smith
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-07-02Bail out the LiveVariables analysis when the CFG is very large, asTed Kremenek