aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis
AgeCommit message (Expand)Author
2019-09-12[CFG] Add dumps for CFGElement and CFGElementRefKristof Umann
2019-09-12[analyzer][NFC] Fix inconsistent references to checkers as "checks"Kristof Umann
2019-09-11[analyzer] NFC: Move PathDiagnostic classes to libAnalysis.Artem Dergachev
2019-08-20[CallGraph] Take into accound calls that aren't within any function bodies.Artem Dergachev
2019-08-14[CFG] Introduce CFGElementRef, a wrapper that knows it's position in a CFGBlockKristof Umann
2019-08-14[analyzer][CFG] Don't track the condition of assertsKristof Umann
2019-08-13[analyzer][NFC] Refactoring BugReporter.cpp P4.: If it can be const, make it ...Kristof Umann
2019-08-01[analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its pro...Csaba Dabis
2019-07-08Add missing declarations of explicit member specializations.Richard Smith
2019-07-05[analyzer][IDF] Add a control dependency calculator + a new debug checkerKristof Umann
2019-07-05[CFG] Add a new function to get the proper condition of a CFGBlockKristof Umann
2019-07-03Revert "[analyzer][CFG] Return the correct terminator condition"Kristof Umann
2019-07-03[analyzer][CFG] Return the correct terminator conditionKristof Umann
2019-07-03[analyzer][Dominator] Add post dominators to CFG + a new debug checkerKristof Umann
2019-07-03[Dominators] PR42041: Skip nullpointer successorsKristof Umann
2019-05-29[analyzer] print() JSONify: CFG implementationCsaba Dabis
2019-05-29[analyzer] print() JSONify: getNodeLabel implementationCsaba Dabis
2019-05-29[analyzer] print() JSONify: Environment implementationCsaba Dabis
2019-05-24[CFG] Add branch to skip vbase inits when they're handled by superclass.Artem Dergachev
2019-05-24[CFG] NFC: Remove implicit conversion from CFGTerminator to Stmt *.Artem Dergachev
2019-04-30[analyzer] Treat functions without run-time branches as "small".Artem Dergachev
2019-04-19Reapply "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev
2019-03-31Range-style std::find{,_if} -> llvm::find{,_if}. NFCFangrui Song
2019-03-29Revert "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev
2019-03-29[analyzer] Introduce a simplified API for adding custom path notes.Artem Dergachev
2019-03-19Minor renaming as suggested in review [NFC]Aaron Puchert
2019-03-18Thread safety analysis: Add note for unlock kind mismatchAaron Puchert
2019-02-22Fix "not all control paths return" warning. NFCI.Simon Pilgrim
2019-01-30[analyzer] [RetainCountChecker] Bugfix for tracking top-level parameters of O...George Karpenkov
2019-01-29Thread safety analysis: Improve diagnostics for double lockingAaron Puchert
2019-01-29[analyzer] [RetainCountChecker] Track input parameters to the top-level functionGeorge Karpenkov
2019-01-29[analyzer] [RetainSummaryManager] [NFC] Split one function into two, as it's ...George Karpenkov
2019-01-29[analyzer] [ARCMT] [NFC] Unify entry point into RetainSummaryManagerGeorge Karpenkov
2019-01-29Extend AnyCall to handle callable declarations without the call expressionsGeorge Karpenkov
2019-01-25[analyzer] Port RetainSummaryManager to the new AnyCall interface, decouple A...George Karpenkov
2019-01-25[analysis] Introduce an AnyCall helper class, for abstraction over different ...George Karpenkov
2019-01-20Replace llvm::isPodLike<...> by llvm::is_trivially_copyable<...>Serge Guelton
2019-01-19Update the file headers across all of the LLVM projects in the monorepoChandler Carruth
2019-01-11Fix header issues.Richard Trieu
2018-12-16[analyzer] Fix some expressions staying live too long. Add a debug checker.Artem Dergachev
2018-12-12Make clang::CallGraph look into template instantiationsErich Keane
2018-12-08Move diagnostic enums into Basic.Richard Trieu
2018-11-02Reapply Logging: make os_log buffer size an integer constant expression.Tim Northover
2018-11-01Revert "Reapply Logging: make os_log buffer size an integer constant expressi...Tim Northover
2018-11-01Reapply Logging: make os_log buffer size an integer constant expression.Tim Northover
2018-09-30Fix linkage error on ProgramPoint's dump method.Eric Fiselier
2018-09-27[analyzer] [NFC] Move the code for dumping the program point to ProgramPointGeorge Karpenkov
2018-09-22Eliminate some unneeded signed/unsigned conversionsAaron Puchert
2018-09-21Thread safety analysis: Make printSCFG compile again [NFC]Aaron Puchert
2018-09-21[analyzer] Associate diagnostics created in checkEndFunction with a return st...George Karpenkov