summaryrefslogtreecommitdiff
path: root/test/Analysis
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] PR43102: Fix an assertion and an out-of-bounds error for diagnosti...Kristof Umann2019-09-181-0/+27
* [analyzer] Fix the 'analyzer-enabled-checkers.c' test on non-linux machines.Artem Dergachev2019-09-121-2/+1
* [analyzer] Don't run the analyzer for -analyzer-list-enabled-checkersKristof Umann2019-09-121-18/+53
* Re-land Remove REQUIRES:shell from tests that pass for me on WindowsReid Kleckner2019-09-101-4/+3
* Revert Remove REQUIRES:shell from tests that pass for me on WindowsJames Henderson2019-09-101-3/+4
* Remove REQUIRES:shell from tests that pass for me on WindowsReid Kleckner2019-09-101-4/+3
* Move prop-sink branch to monorepo.Gabor Borsik2019-09-081-0/+42
* [analyzer] Add minimal support for fix-it hints.Artem Dergachev2019-09-066-18/+70
* [analyzer] pr43179: Make CallDescription defensive against C variadic functions.Artem Dergachev2019-09-061-0/+9
* [analyzer] NonNullParamChecker and CStringChecker parameter number in checker...Kristof Umann2019-09-034-10/+10
* [analyzer] Add a checker option to detect nested dead storesKristof Umann2019-09-034-156/+221
* [c++20] Implement semantic restrictions for C++20 designatedRichard Smith2019-08-301-1/+1
* [CFG] Fix CFG for statement-expressions in return values.Artem Dergachev2019-08-291-1/+48
* [Analyzer] Iterator Checkers - Make range errors and invalidated access fatalAdam Balogh2019-08-294-63/+435
* [CFG] Make representation of destructor calls more accurate.Artem Dergachev2019-08-288-47/+343
* [analyzer] Fix analyzer warnings on analyzer.Artem Dergachev2019-08-283-4/+51
* [analyzer] pr43036: Fix support for operator 'sizeof...'.Artem Dergachev2019-08-281-0/+15
* [analyzer] Trust global initializers when analyzing main().Artem Dergachev2019-08-282-0/+54
* [OPENMP][Analysis] Add analysis of the map clauses.Alexey Bataev2019-08-281-49/+55
* Update the SARIF exporter to SARIF 2.1Joe Ranieri2019-08-273-109/+99
* Fix a SARIF exporter crash with macro expansionsJoe Ranieri2019-08-272-21/+147
* Fix text range end columns in SARIF to be exclusiveJoe Ranieri2019-08-272-14/+11
* [ASTImporter] Fix name conflict handling with different strategiesGabor Marton2019-08-271-4/+4
* [analyzer] Avoid unnecessary enum range check on LValueToRValue castsKristof Umann2019-08-232-1/+43
* [analyzer] CastValueChecker: Correctly model results of based-to-derived casts.Artem Dergachev2019-08-232-3/+12
* [analyzer] CastValueChecker: Provide DynamicTypeMap with pointer types only.Artem Dergachev2019-08-232-2/+10
* [analyzer] CastValueChecker: Avoid modeling casts between objects.Artem Dergachev2019-08-234-8/+20
* [analyzer] DynamicTypeInfo: Avoid putting null regions into dynamic typemap.Artem Dergachev2019-08-231-0/+5
* [analyzer] Enable control dependency condition tracking by defaultKristof Umann2019-08-224-1/+7
* [analyzer] CastValueChecker: Model isa(), isa_and_nonnull()Csaba Dabis2019-08-223-8/+30
* [analyzer] Don't track the condition of foreach loopsKristof Umann2019-08-221-0/+33
* [analyzer] CastValueChecker: Store the dynamic types and castsCsaba Dabis2019-08-227-240/+341
* [analyzer] TrackConstraintBRVisitor: Do not track unknown valuesCsaba Dabis2019-08-221-8/+4
* [analyzer] Mention whether an event is about a condition in a bug report part 2Kristof Umann2019-08-211-6/+114
* [analyzer] Don't make ConditionBRVisitor events prunable when the condition i...Kristof Umann2019-08-211-0/+114
* [analyzer] Mention whether an event is about a condition in a bug report part 1Kristof Umann2019-08-211-183/+183
* [analyzer] Fix a crash when destroying a non-region.Artem Dergachev2019-08-201-0/+30
* [analyzer] Improve VirtualCallChecker and enable parts of it by default.Artem Dergachev2019-08-203-132/+74
* [CallGraph] Take into accound calls that aren't within any function bodies.Artem Dergachev2019-08-202-0/+30
* [analyzer] Turn an assert into an if conditionKristof Umann2019-08-171-1/+12
* [ASTImporter] Import ctor initializers after setting flags.Balazs Keri2019-08-163-0/+16
* [analyzer] Analysis: Silence checkersCsaba Dabis2019-08-163-1/+59
* [analyzer][NFC] Prove that we only track the evaluated part of the conditionKristof Umann2019-08-141-0/+35
* [analyzer][CFG] Don't track the condition of assertsKristof Umann2019-08-141-0/+239
* [ASTImporter] Import default expression of param before creating the param.Balazs Keri2019-08-143-0/+25
* [analyzer] Note last writes to a condition only in a nested stackframeKristof Umann2019-08-141-24/+41
* [analyzer] Track the right hand side of the last store regardless of its valueKristof Umann2019-08-133-15/+42
* [analyzer] Prune calls to functions with linear CFGs that return a non-zero c...Kristof Umann2019-08-133-33/+126
* [analyzer] exploded-graph-rewriter: Implement displaying Store pointers.Artem Dergachev2019-08-132-1/+2
* [analyzer] exploded-graph-rewriter: Implement manual graph trimming.Artem Dergachev2019-08-131-11/+21
View Lorry Controller Status