summaryrefslogtreecommitdiff
path: root/include/clang/Analysis
Commit message (Expand)AuthorAgeFilesLines
* [CFG] Add dumps for CFGElement and CFGElementRefKristof Umann2019-09-121-2/+17
* [analyzer][NFC] Fix inconsistent references to checkers as "checks"Kristof Umann2019-09-121-3/+3
* [analyzer] NFC: Move PathDiagnostic classes to libAnalysis.Artem Dergachev2019-09-111-0/+868
* [CallGraph] Take into accound calls that aren't within any function bodies.Artem Dergachev2019-08-201-0/+1
* [CFG] Introduce CFGElementRef, a wrapper that knows it's position in a CFGBlockKristof Umann2019-08-141-2/+173
* [analyzer][CFG] Don't track the condition of assertsKristof Umann2019-08-141-0/+4
* [analyzer][NFC] Refactoring BugReporter.cpp P4.: If it can be const, make it ...Kristof Umann2019-08-131-1/+1
* [analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its pro...Csaba Dabis2019-08-011-23/+26
* Add missing declarations of explicit member specializations.Richard Smith2019-07-081-0/+3
* [analyzer][IDF] Add a control dependency calculator + a new debug checkerKristof Umann2019-07-052-3/+106
* [CFG] Add a new function to get the proper condition of a CFGBlockKristof Umann2019-07-051-0/+8
* Revert "[analyzer][CFG] Return the correct terminator condition"Kristof Umann2019-07-031-5/+3
* [analyzer][CFG] Return the correct terminator conditionKristof Umann2019-07-031-3/+5
* [analyzer][Dominator] Add post dominators to CFG + a new debug checkerKristof Umann2019-07-031-60/+116
* [Dominators] PR42041: Skip nullpointer successorsKristof Umann2019-07-031-3/+41
* [analyzer] print() JSONify: CFG implementationCsaba Dabis2019-05-291-0/+4
* [analyzer] print() JSONify: getNodeLabel implementationCsaba Dabis2019-05-291-1/+1
* [analyzer] print() JSONify: Environment implementationCsaba Dabis2019-05-291-3/+9
* [CFG] Add branch to skip vbase inits when they're handled by superclass.Artem Dergachev2019-05-242-7/+17
* [CFG] NFC: Remove implicit conversion from CFGTerminator to Stmt *.Artem Dergachev2019-05-242-23/+36
* [analyzer] Treat functions without run-time branches as "small".Artem Dergachev2019-04-301-0/+6
* Reapply "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-04-191-3/+2
* Range-style std::find{,_if} -> llvm::find{,_if}. NFCFangrui Song2019-03-311-1/+1
* Revert "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-03-291-2/+3
* [analyzer] Introduce a simplified API for adding custom path notes.Artem Dergachev2019-03-291-3/+2
* Minor renaming as suggested in review [NFC]Aaron Puchert2019-03-191-4/+5
* Thread safety analysis: Add note for unlock kind mismatchAaron Puchert2019-03-181-0/+2
* Fix "not all control paths return" warning. NFCI.Simon Pilgrim2019-02-221-0/+1
* [analyzer] [RetainCountChecker] Bugfix for tracking top-level parameters of O...George Karpenkov2019-01-301-1/+1
* Thread safety analysis: Improve diagnostics for double lockingAaron Puchert2019-01-291-1/+2
* [analyzer] [RetainCountChecker] Track input parameters to the top-level functionGeorge Karpenkov2019-01-291-0/+5
* [analyzer] [RetainSummaryManager] [NFC] Split one function into two, as it's ...George Karpenkov2019-01-291-4/+16
* [analyzer] [ARCMT] [NFC] Unify entry point into RetainSummaryManagerGeorge Karpenkov2019-01-291-40/+7
* Extend AnyCall to handle callable declarations without the call expressionsGeorge Karpenkov2019-01-291-10/+44
* [analyzer] Port RetainSummaryManager to the new AnyCall interface, decouple A...George Karpenkov2019-01-251-0/+783
* [analysis] Introduce an AnyCall helper class, for abstraction over different ...George Karpenkov2019-01-251-0/+174
* Replace llvm::isPodLike<...> by llvm::is_trivially_copyable<...>Serge Guelton2019-01-201-3/+0
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-1930-120/+90
* Fix header issues.Richard Trieu2019-01-111-0/+1
* [analyzer] Fix some expressions staying live too long. Add a debug checker.Artem Dergachev2018-12-161-2/+6
* Make clang::CallGraph look into template instantiationsErich Keane2018-12-121-0/+1
* Move diagnostic enums into Basic.Richard Trieu2018-12-081-14/+1
* Reapply Logging: make os_log buffer size an integer constant expression.Tim Northover2018-11-022-874/+0
* Revert "Reapply Logging: make os_log buffer size an integer constant expressi...Tim Northover2018-11-011-0/+155
* Reapply Logging: make os_log buffer size an integer constant expression.Tim Northover2018-11-011-155/+0
* Fix linkage error on ProgramPoint's dump method.Eric Fiselier2018-09-301-3/+1
* [analyzer] [NFC] Move the code for dumping the program point to ProgramPointGeorge Karpenkov2018-09-271-0/+6
* Eliminate some unneeded signed/unsigned conversionsAaron Puchert2018-09-221-4/+4
* Thread safety analysis: Make printSCFG compile again [NFC]Aaron Puchert2018-09-211-1/+20
* [analyzer] Associate diagnostics created in checkEndFunction with a return st...George Karpenkov2018-09-211-0/+24