Artem Dergachev
|
d0e3ed0b01
[analyzer] Assign truly stable identifiers to exploded nodes.
|
преди 5 години |
Kristof Umann
|
692350b332
[analyzer][NFC] Fix inconsistent references to checkers as "checks"
|
преди 6 години |
Artem Dergachev
|
8d3ef3f1fb
[analyzer] NFC: Move PathDiagnostic classes to libAnalysis.
|
преди 6 години |
Artem Dergachev
|
7338322a43
[analyzer] NFC: Move resetDiagnosticLocationToMainFile() to BugReporter.
|
преди 6 години |
Artem Dergachev
|
e03d00f8b5
[analyzer] NFC: Move getStmt() and createEndOfPath() out of PathDiagnostic.
|
преди 6 години |
Artem Dergachev
|
3407db137a
[analyzer] NFC: Re-implement stack hints as a side map in BugReport.
|
преди 6 години |
Artem Dergachev
|
3b8bf1275b
[analyzer] NFC: Simplify bug report equivalence classes to not be ilists.
|
преди 6 години |
Artem Dergachev
|
9e6519fecc
[analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports.
|
преди 6 години |
Artem Dergachev
|
71ee164e08
[analyzer] Add minimal support for fix-it hints.
|
преди 6 години |
Benjamin Kramer
|
e63380d34e
Do a sweep of symbol internalization. NFC.
|
преди 6 години |
Kristof Umann
|
a5f916ab4d
[analyzer][NFC] Add different interestingness kinds
|
преди 6 години |
Dmitri Gribenko
|
a19ba5238e
Removed some dead code in BugReporter and related files
|
преди 6 години |
Artem Dergachev
|
9e698f2c0f
[analyzer] NFC: Remove the BugTypes set from BugReporter.
|
преди 6 години |
Artem Dergachev
|
3929c71154
[analyzer] NFC: Rename GRBugReporter to PathSensitiveBugReporter.
|
преди 6 години |
Artem Dergachev
|
37d1817c7e
[analyzer] NFC: Drop support for extra text attached to bug reports.
|
преди 6 години |
Csaba Dabis
|
27cb4e0641
[analyzer] Analysis: Silence checkers
|
преди 6 години |
Jonas Devlieghere
|
49a6b09101
[Clang] Migrate llvm::make_unique to std::make_unique
|
преди 6 години |
Kristof Umann
|
39b5f65011
[analyzer][CFG] Don't track the condition of asserts
|
преди 6 години |
Haojian Wu
|
9958a1776c
Fix the -Wunused-variable warning.
|
преди 6 години |
Kristof Umann
|
f1293c56cf
[analyzer][NFC] Make sure that the BugReport is not modified during the construction of non-visitor pieces
|
преди 6 години |
Kristof Umann
|
664fb32402
[analyzer][NFC] Refactoring BugReporter.cpp P6.: Completely get rid of interestingness propagation
|
преди 6 години |
Kristof Umann
|
662a600b1e
[analyzer][NFC] Address inlines of D65484
|
преди 6 години |
Kristof Umann
|
7e7a7d4e47
[analyzer][NFC] Refactoring BugReporter.cpp P5.: Compact mile long function invocations into objects
|
преди 6 години |
Kristof Umann
|
fedc6539be
[analyzer][NFC] Refactoring BugReporter.cpp P4.: If it can be const, make it const
|
преди 6 години |
Kristof Umann
|
fb06358f13
[analyzer][NFC] Refactoring BugReporter.cpp P3.: std::shared_pointer<PathDiagnosticPiece> -> PathDiagnosticPieceRef
|
преди 6 години |
Kristof Umann
|
4f5f18624a
[analyzer][NFC] Refactoring BugReporter.cpp P2.: Clean up the construction of bug paths and finding a valid report
|
преди 6 години |
Kristof Umann
|
8a955eac74
[analyzer][NFC] Refactoring BugReporter.cpp P1.: Store interesting symbols/regions in a simple set
|
преди 6 години |
Rui Ueyama
|
ce7674d7be
Fix parameter name comments using clang-tidy. NFC.
|
преди 6 години |
Csaba Dabis
|
e7a001d8f1
[analyzer] [NFC] PathDiagnostic: Create PathDiagnosticPopUpPiece
|
преди 6 години |
Adam Balogh
|
0bdda4905c
[Analyzer] Replace `CXXSelfAssignmentBRVisitor` with `NoteTags`
|
преди 6 години |