summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Fix buildbot failures caused by a forgotten initializationKristof Umann2019-05-011-5/+6
* [analyzer] Don't display implementation checkers under -analyzer-checker-help...Kristof Umann2019-05-011-0/+1
* [analyzer] Treat functions without run-time branches as "small".Artem Dergachev2019-04-301-0/+19
* [analyzer] PR41335: Fix crash when no-store event is in a body-farmed function.Artem Dergachev2019-04-231-1/+3
* Reapply "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-04-194-0/+88
* Revert "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-03-294-89/+0
* [analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev2019-03-294-138/+0
* [analyzer] Introduce a simplified API for adding custom path notes.Artem Dergachev2019-03-294-0/+89
* [Analyzer] Constraint Manager - Calculate Effective Range for DifferencesAdam Balogh2019-03-281-1/+2
* Moved everything SMT-related to LLVM and updated the cmake scripts.Mikhail R. Gadelha2019-03-253-524/+133
* [analyzer] ConditionBRVisitor: Remove GDM checkingCsaba Dabis2019-03-163-2/+14
* Revert "[analyzer] ConditionBRVisitor: Remove GDM checking"Csaba Dabis2019-03-163-14/+2
* [analyzer] ConditionBRVisitor: Remove GDM checkingCsaba Dabis2019-03-163-2/+14
* hello, clangCsaba Dabis2019-03-151-1/+1
* [analyzer] Emit an error rather than assert on invalid checker option inputKristof Umann2019-03-081-0/+6
* [analyzer] Enable subcheckers to possess checker optionsKristof Umann2019-03-041-21/+41
* Fix VS2015 build problem introduced by r353370.Douglas Yung2019-02-121-2/+2
* [StaticAnalyzer] Add missing include to SMTAPI.h. [NFC]David L. Jones2019-02-091-0/+1
* This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.Mikhail R. Gadelha2019-02-093-133/+523
* Move the SMT API to LLVMMikhail R. Gadelha2019-02-073-523/+133
* Moved the whole SMT API to a single file. NFC.Mikhail R. Gadelha2019-02-074-160/+108
* Got rid of the `Z3ConstraintManager` classMikhail R. Gadelha2019-02-071-4/+3
* Generalised the SMT state constraintsMikhail R. Gadelha2019-02-074-17/+23
* [analyzer] Canonicalize declarations within variable regions.Artem Dergachev2019-02-071-1/+1
* Revert "[analyzer] Remove the "postponed" hack, deal with derived symbols..."Artem Dergachev2019-02-061-3/+0
* [analyzer] Add CheckerManager::getChecker, make sure that a registry function...Kristof Umann2019-01-261-4/+12
* [analyzer] Supply all checkers with a shouldRegister functionKristof Umann2019-01-261-0/+1
* [analyzer] Port RetainSummaryManager to the new AnyCall interface, decouple A...George Karpenkov2019-01-251-804/+0
* [analyzer] Model another special-case kind of cast for OSObject RetainCountCh...George Karpenkov2019-01-221-0/+3
* Replace llvm::isPodLike<...> by llvm::is_trivially_copyable<...>Serge Guelton2019-01-201-9/+0
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-1956-224/+168
* Revert "Fix failing MSan bots"George Karpenkov2019-01-183-11/+16
* Fix failing MSan botsVlad Tsyrklevich2019-01-183-16/+11
* [analyzer] const-ify reference to bug type used in BugReporterGeorge Karpenkov2019-01-181-6/+6
* [analyzer] Extend BugType constructor to accept "SuppressOnSink" as a parameterGeorge Karpenkov2019-01-181-5/+6
* [analyzer] [RetainCountChecker] Smart pointer support.George Karpenkov2019-01-181-0/+4
* [analyzer] Make sure base-region and its sub-regions are either all alive or ...Artem Dergachev2019-01-181-2/+9
* [analyzer] Support for OSObjects out parameters in RetainCountCheckerGeorge Karpenkov2019-01-111-2/+10
* [analyzer] Introduce a convenience method for getting a CallEvent from an arb...George Karpenkov2019-01-111-0/+7
* Fix header issues.Richard Trieu2019-01-112-3/+2
* [analyzer] Update the category name for RetainCountChecker reportsGeorge Karpenkov2019-01-101-1/+1
* [analyzer] [NFC] Reduce redundancy in RetainSummaryManager by using a functionGeorge Karpenkov2019-01-101-4/+3
* [analyzer] [RetainCountChecker] [NFC] Another minor cleanupGeorge Karpenkov2019-01-101-16/+14
* [analyzer] [RetainCountChecker] [NFC] Refactor the way attributes are handledGeorge Karpenkov2019-01-101-8/+10
* [analyzer] [RetainCountChecker] Remove redundant enum UnarySummaryKindGeorge Karpenkov2019-01-101-3/+1
* [analyzer] [RetainCountChecker] Remove obsolete "MakeCollectable" enum valueGeorge Karpenkov2019-01-101-4/+0
* [analyzer] [RetainCountChecker] [NFC] Remove redundant enum items *Msg, as th...George Karpenkov2019-01-101-17/+0
* [analyzer] [NFC] Track object type with ArgEffect in RetainCountChecker.George Karpenkov2019-01-101-19/+40
* [analyzer] [NFC] Move ObjKind into a separate top-level enum in RetainSummary...George Karpenkov2019-01-101-21/+22
* [analyzer][CrossTU][NFC] Generalize to external definitions instead of extern...Rafael Stahl2019-01-101-3/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-21 02:23:07 +0000