 Artem Dergachev
|
9504ebbcec
[analyzer] PR43551: Do not dereferce void* in UndefOrNullArgVisitor.
|
5 years ago |
|
Artem Dergachev
|
e8e29276b6
[analyzer] Fix a crash on tracking Objective-C 'self' as a control dependency.
|
5 years ago |
 Kristof Umann
|
61892451b9
[analyzer] PR43102: Fix an assertion and an out-of-bounds error for diagnostic location construction
|
6 years ago |
|
Artem Dergachev
|
8d3ef3f1fb
[analyzer] NFC: Move PathDiagnostic classes to libAnalysis.
|
6 years ago |
|
Artem Dergachev
|
e03d00f8b5
[analyzer] NFC: Move getStmt() and createEndOfPath() out of PathDiagnostic.
|
6 years ago |
|
Artem Dergachev
|
9e6519fecc
[analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports.
|
6 years ago |
 Kristof Umann
|
eff97972f9
[analyzer] Don't track the condition of foreach loops
|
6 years ago |
 Csaba Dabis
|
b55c8505d6
[analyzer] TrackConstraintBRVisitor: Do not track unknown values
|
6 years ago |
|
Kristof Umann
|
bc22667913
[analyzer] Mention whether an event is about a condition in a bug report part 2
|
6 years ago |
|
Kristof Umann
|
00d62d7770
[analyzer] Don't make ConditionBRVisitor events prunable when the condition is an interesting field
|
6 years ago |
|
Kristof Umann
|
a5f916ab4d
[analyzer][NFC] Add different interestingness kinds
|
6 years ago |
|
Kristof Umann
|
c1dc2c3927
[analyzer] Mention whether an event is about a condition in a bug report part 1
|
6 years ago |
 Dmitri Gribenko
|
a19ba5238e
Removed some dead code in BugReporter and related files
|
6 years ago |
|
Kristof Umann
|
c0d45f53c1
[analyzer] Turn an assert into an if condition
|
6 years ago |
 Jonas Devlieghere
|
49a6b09101
[Clang] Migrate llvm::make_unique to std::make_unique
|
6 years ago |
|
Kristof Umann
|
39b5f65011
[analyzer][CFG] Don't track the condition of asserts
|
6 years ago |
|
Kristof Umann
|
be65cfe09c
[analyzer] Note last writes to a condition only in a nested stackframe
|
6 years ago |
 Haojian Wu
|
9958a1776c
Fix the -Wunused-variable warning.
|
6 years ago |
|
Kristof Umann
|
f88b97bb2a
[analyzer][NFC] Prepare visitors for different tracking kinds
|
6 years ago |
|
Kristof Umann
|
06ea2a4083
[analyzer] Track the right hand side of the last store regardless of its value
|
6 years ago |
|
Kristof Umann
|
827055e72d
[analyzer] Prune calls to functions with linear CFGs that return a non-zero constrained value
|
6 years ago |
|
Kristof Umann
|
f1293c56cf
[analyzer][NFC] Make sure that the BugReport is not modified during the construction of non-visitor pieces
|
6 years ago |
|
Kristof Umann
|
7e7a7d4e47
[analyzer][NFC] Refactoring BugReporter.cpp P5.: Compact mile long function invocations into objects
|
6 years ago |
|
Kristof Umann
|
fedc6539be
[analyzer][NFC] Refactoring BugReporter.cpp P4.: If it can be const, make it const
|
6 years ago |
|
Kristof Umann
|
fb06358f13
[analyzer][NFC] Refactoring BugReporter.cpp P3.: std::shared_pointer<PathDiagnosticPiece> -> PathDiagnosticPieceRef
|
6 years ago |
|
Csaba Dabis
|
f26add7ee1
[analyzer] ConditionBRVisitor: Fix HTML PathDiagnosticPopUpPieces
|
6 years ago |
|
Kristof Umann
|
c420f727e9
[analyzer] Add a debug analyzer config to place an event for each tracked condition
|
6 years ago |
|
Kristof Umann
|
3371888c83
[analyzer] Track terminator conditions on which a tracked expression depends
|
6 years ago |
|
Kristof Umann
|
26f9de1643
[analyzer] Push correct version of 'Track indices of arrays'
|
6 years ago |
|
Kristof Umann
|
79bbbd4575
[analyzer] Track indices of arrays
|
6 years ago |
