summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* [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
* [analyzer][NFC] Add different interestingness kindsKristof Umann2019-08-212-23/+94
* [analyzer] Mention whether an event is about a condition in a bug report part 1Kristof Umann2019-08-211-3/+15
* Removed some dead code in BugReporter and related filesDmitri Gribenko2019-08-215-71/+8
* [analyzer] NFC: Remove the BugTypes set from BugReporter.Artem Dergachev2019-08-202-13/+7
* [analyzer] Fix a crash when destroying a non-region.Artem Dergachev2019-08-202-15/+31
* [analyzer] Improve VirtualCallChecker and enable parts of it by default.Artem Dergachev2019-08-202-125/+62
* [analyzer] NFC: Rename GRBugReporter to PathSensitiveBugReporter.Artem Dergachev2019-08-201-8/+13
* [analyzer] NFC: Drop support for extra text attached to bug reports.Artem Dergachev2019-08-201-5/+0
* [analyzer] Turn an assert into an if conditionKristof Umann2019-08-171-4/+3
* [analyzer] Analysis: Silence checkersCsaba Dabis2019-08-163-36/+31
* [analyzer] Warn about -analyzer-configs being meant for development purposes ...Kristof Umann2019-08-151-5/+16
* [Clang] Migrate llvm::make_unique to std::make_uniqueJonas Devlieghere2019-08-1472-195/+195
* [analyzer][CFG] Don't track the condition of assertsKristof Umann2019-08-143-100/+57
* [analyzer] Note last writes to a condition only in a nested stackframeKristof Umann2019-08-141-4/+9