summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* [Concepts] Concept Specialization ExpressionsSaar Raz2019-10-151-0/+1
* Revert 374882 "[Concepts] Concept Specialization Expressions"Nico Weber2019-10-151-1/+0
* [Concepts] Concept Specialization ExpressionsSaar Raz2019-10-151-0/+1
* [OPENMP50]Add support for 'parallel master taskloop' construct.Alexey Bataev2019-10-141-0/+1
* BlockInCriticalSectionChecker - silence static analyzer dyn_cast null derefer...Simon Pilgrim2019-10-131-1/+1
* [OPENMP50]Support for 'master taskloop' directive.Alexey Bataev2019-10-101-0/+1
* Revert "[analyzer] A speculative attempt to avoid gcc-7 crashes..."Artem Dergachev2019-09-261-5/+2
* [analyzer] A speculative attempt to avoid gcc-7 crashes caused by r372942.Artem Dergachev2019-09-261-2/+5
* [analyzer] Avoid small vectors of non-default-constructibles.Artem Dergachev2019-09-261-1/+1
* [NFCI] Return PathSensitiveBugReport where appropriateAlex Langford2019-09-232-7/+10
* Move classes into anonymous namespaces. NFC.Benjamin Kramer2019-09-221-2/+2
* Attempt to fix a windows buildbot failureKristof Umann2019-09-211-2/+2
* Fix a documentation errorKristof Umann2019-09-201-1/+1
* Reland '[analyzer][MallocChecker][NFC] Document and reorganize some functions'Kristof Umann2019-09-201-463/+720
* [analyzer] PR43102: Fix an assertion and an out-of-bounds error for diagnosti...Kristof Umann2019-09-181-1/+2
* [analyzer][NFC] Fix inconsistent references to checkers as "checks"Kristof Umann2019-09-1221-92/+86
* [analyzer] NFC: Move PathDiagnostic classes to libAnalysis.Artem Dergachev2019-09-1115-1229/+13
* [analyzer] NFC: Move resetDiagnosticLocationToMainFile() to BugReporter.Artem Dergachev2019-09-112-65/+66
* [analyzer] NFC: Move getStmt() and createEndOfPath() out of PathDiagnostic.Artem Dergachev2019-09-1117-178/+172
* [analyzer] NFC: Re-implement stack hints as a side map in BugReport.Artem Dergachev2019-09-118-110/+104
* [analyzer] NFC: Simplify bug report equivalence classes to not be ilists.Artem Dergachev2019-09-092-12/+11
* [analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports.Artem Dergachev2019-09-0971-393/+493
* Move prop-sink branch to monorepo.Gabor Borsik2019-09-081-29/+65
* [analyzer] Add minimal support for fix-it hints.Artem Dergachev2019-09-065-61/+174
* [analyzer] pr43179: Make CallDescription defensive against C variadic functions.Artem Dergachev2019-09-062-3/+7
* Unbreak the build after r370798Benjamin Kramer2019-09-031-1/+1
* [analyzer] NonNullParamChecker and CStringChecker parameter number in checker...Kristof Umann2019-09-032-24/+35
* [analyzer] Add a checker option to detect nested dead storesKristof Umann2019-09-031-9/+24
* [Analyzer] Iterator Checkers - Make range errors and invalidated access fatalAdam Balogh2019-08-291-8/+6
* [analyzer] Fix analyzer warnings on analyzer.Artem Dergachev2019-08-2817-61/+77
* [analyzer] pr43036: Fix support for operator 'sizeof...'.Artem Dergachev2019-08-281-0/+1
* [analyzer] Trust global initializers when analyzing main().Artem Dergachev2019-08-281-16/+58
* Update the SARIF exporter to SARIF 2.1Joe Ranieri2019-08-271-43/+42
* Fix a SARIF exporter crash with macro expansionsJoe Ranieri2019-08-271-4/+6
* Fix text range end columns in SARIF to be exclusiveJoe Ranieri2019-08-271-3/+9
* Do a sweep of symbol internalization. NFC.Benjamin Kramer2019-08-231-4/+5
* [analyzer] Avoid unnecessary enum range check on LValueToRValue castsKristof Umann2019-08-231-0/+16
* [analyzer] CastValueChecker: Correctly model results of based-to-derived casts.Artem Dergachev2019-08-231-9/+27
* [analyzer] CastValueChecker: Provide DynamicTypeMap with pointer types only.Artem Dergachev2019-08-232-28/+26
* [analyzer] CastValueChecker: Avoid modeling casts between objects.Artem Dergachev2019-08-231-2/+7
* [analyzer] DynamicTypeInfo: Avoid putting null regions into dynamic typemap.Artem Dergachev2019-08-231-0/+3
* Remove an unused function, suppress -Wunused-function warning.Haojian Wu2019-08-221-6/+0
* [analyzer] CastValueChecker: Model isa(), isa_and_nonnull()Csaba Dabis2019-08-221-5/+100
* [analyzer] Don't track the condition of foreach loopsKristof Umann2019-08-221-0/+5
* [analyzer] CastValueChecker: Try to fix the buildbotsCsaba Dabis2019-08-221-1/+1
* [analyzer] CastValueChecker: Rewrite dead header hotfixCsaba Dabis2019-08-226-6/+6
* [analyzer] CastValueChecker: Store the dynamic types and castsCsaba Dabis2019-08-226-211/+404
* [analyzer] TrackConstraintBRVisitor: Do not track unknown valuesCsaba Dabis2019-08-221-3/+4
* [analyzer] Mention whether an event is about a condition in a bug report part 2Kristof Umann2019-08-211-0/+30
* [analyzer] Don't make ConditionBRVisitor events prunable when the condition i...Kristof Umann2019-08-211-34/+46