summaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Assign truly stable identifiers to exploded nodes.Artem Dergachev2019-10-171-4/+7
* [analyzer] Avoid small vectors of non-default-constructibles.Artem Dergachev2019-09-261-1/+1
* [StaticAnalyzer] Use llvm::StringLiteral instead of StringRef in few placesBenjamin Kramer2019-09-201-6/+7
* [analyzer][NFC] Fix inconsistent references to checkers as "checks"Kristof Umann2019-09-126-75/+86
* [analyzer] NFC: Move PathDiagnostic classes to libAnalysis.Artem Dergachev2019-09-113-870/+2
* [analyzer] NFC: Move resetDiagnosticLocationToMainFile() to BugReporter.Artem Dergachev2019-09-111-10/+13
* [analyzer] NFC: Move getStmt() and createEndOfPath() out of PathDiagnostic.Artem Dergachev2019-09-112-17/+32
* [analyzer] NFC: Re-implement stack hints as a side map in BugReport.Artem Dergachev2019-09-112-64/+74
* [analyzer] NFC: Simplify bug report equivalence classes to not be ilists.Artem Dergachev2019-09-091-15/+8
* [analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports.Artem Dergachev2019-09-093-195/+289
* [analyzer] Add minimal support for fix-it hints.Artem Dergachev2019-09-063-15/+41
* [analyzer] pr43179: Make CallDescription defensive against C variadic functions.Artem Dergachev2019-09-061-3/+17
* [analyzer] Fix analyzer warnings on analyzer.Artem Dergachev2019-08-281-0/+6
* [analyzer] CastValueChecker: Provide DynamicTypeMap with pointer types only.Artem Dergachev2019-08-231-1/+1
* [analyzer] Enable control dependency condition tracking by defaultKristof Umann2019-08-221-1/+1
* [analyzer] CastValueChecker: Store the dynamic types and castsCsaba Dabis2019-08-225-86/+166
* [analyzer] Don't make ConditionBRVisitor events prunable when the condition i...Kristof Umann2019-08-211-2/+4
* [analyzer][NFC] Add different interestingness kindsKristof Umann2019-08-211-5/+29
* Removed some dead code in BugReporter and related filesDmitri Gribenko2019-08-214-71/+4
* [analyzer] NFC: Remove the BugTypes set from BugReporter.Artem Dergachev2019-08-201-17/+2
* [analyzer] Fix a crash when destroying a non-region.Artem Dergachev2019-08-201-1/+1
* [analyzer] Improve VirtualCallChecker and enable parts of it by default.Artem Dergachev2019-08-202-0/+2
* [analyzer] NFC: Rename GRBugReporter to PathSensitiveBugReporter.Artem Dergachev2019-08-202-13/+14
* [analyzer] NFC: Drop support for extra text attached to bug reports.Artem Dergachev2019-08-201-13/+0
* [analyzer] Analysis: Silence checkersCsaba Dabis2019-08-162-9/+50
* Revert rL368939 "Remove LVALUE / RVALUE workarounds"Russell Gallop2019-08-151-1/+1
* [NFC] Update doc comment to fix warning.Jonas Devlieghere2019-08-151-2/+0
* [NFCI] Always initialize BugReport const fieldsAlex Langford2019-08-151-2/+4
* [Clang] Migrate llvm::make_unique to std::make_uniqueJonas Devlieghere2019-08-142-2/+2
* Remove LVALUE / RVALUE workaroundsJF Bastien2019-08-141-1/+1
* [analyzer] Note last writes to a condition only in a nested stackframeKristof Umann2019-08-141-3/+11
* [analyzer][NFC] Prepare visitors for different tracking kindsKristof Umann2019-08-141-25/+51
* [analyzer][NFC] Make sure that the BugReport is not modified during the const...Kristof Umann2019-08-132-7/+14
* Remove the extra `;`.Michael Liao2019-08-131-1/+1
* [analyzer][NFC] Refactoring BugReporter.cpp P5.: Compact mile long function i...Kristof Umann2019-08-132-1/+8
* [analyzer][NFC] Refactoring BugReporter.cpp P4.: If it can be const, make it ...Kristof Umann2019-08-136-17/+27
* [analyzer][NFC] Refactoring BugReporter.cpp P3.: std::shared_pointer<PathDiag...Kristof Umann2019-08-132-59/+62
* [analyzer][NFC] Refactoring BugReporter.cpp P2.: Clean up the construction of...Kristof Umann2019-08-132-0/+13
* [analyzer][NFC] Refactoring BugReporter.cpp P1.: Store interesting symbols/re...Kristof Umann2019-08-131-18/+5
* [analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its pro...Csaba Dabis2019-08-011-2/+3
* [CrossTU] Added CTU argument to diagnostic consumer create fn.Balazs Keri2019-07-231-5/+7
* [analyzer] CastValueChecker: Model castsCsaba Dabis2019-07-101-0/+11
* Revert "[analyzer] CastValueChecker: Model casts"Csaba Dabis2019-07-091-11/+0
* [analyzer] CastValueChecker: Model castsCsaba Dabis2019-07-091-0/+11
* [analyzer] Add analyzer option to limit the number of imported TUsEndre Fulop2019-07-081-0/+8
* [analyzer] Add a debug analyzer config to place an event for each tracked con...Kristof Umann2019-07-051-0/+4
* [analyzer] Track terminator conditions on which a tracked expression dependsKristof Umann2019-07-052-0/+15
* [analyzer] ReturnValueChecker: Model the guaranteed boolean return value of f...Csaba Dabis2019-07-041-6/+16
* [analyzer] NFC: CallDescription: Implement describing C library functions.Artem Dergachev2019-07-011-1/+16
* [analyzer] NFC: Add a convenient CallDescriptionMap class.Artem Dergachev2019-07-011-33/+65
View Lorry Controller Status