 George Karpenkov
|
e14e2edda4
[analyzer] Fix bug in isInevitablySinking
|
7 жил өмнө |
|
George Karpenkov
|
e7f0cee909
[analyzer] [NFC] Dead code removal
|
7 жил өмнө |
|
George Karpenkov
|
5c31d31323
[analyzer] [NFC] Prefer passing around reference to std::unique_ptr&
|
7 жил өмнө |
|
George Karpenkov
|
5bf7347d5c
[analyzer] Executed lines: store file IDs, not hashes.
|
7 жил өмнө |
|
George Karpenkov
|
1ee3e10df5
[analyzer] Do not add invalid source location to the coverage information
|
7 жил өмнө |
|
George Karpenkov
|
4d7f220123
[analyzer] Push updating-the-executed-lines logic into the BugReporter.
|
7 жил өмнө |
 Stephen Kelly
|
d7b659b592
Port getLocStart -> getBeginLoc
|
7 жил өмнө |
 Mikhail R. Gadelha
|
877e8da78a
[analyzer] Try to minimize the number of equivalent bug reports evaluated by the refutation manager
|
7 жил өмнө |
 Artem Dergachev
|
0e4f59d7b4
[analyzer] Remove a debug print that was accidentally left around.
|
7 жил өмнө |
|
George Karpenkov
|
3387634751
[analyzer] [NFC] A convenient getter for getting a current stack frame
|
7 жил өмнө |
|
George Karpenkov
|
d245644c76
[analyzer] Do not run visitors until the fixpoint, run only once.
|
7 жил өмнө |
|
George Karpenkov
|
46ac88f786
[analyzer] Remove accidentally committed lines.
|
7 жил өмнө |
|
George Karpenkov
|
eee461ae16
[analyzer] [NFC] Move ::dump methods from BugReporter.cpp to PathDiagnostics.cpp
|
7 жил өмнө |
|
George Karpenkov
|
adbb1b6dd3
[analyzer] [NFC] Remove most usages of getEndPath
|
7 жил өмнө |
|
George Karpenkov
|
9cc0ad9b8a
[analyzer] [NFC] Now let's have only one place for diagnostics generation
|
7 жил өмнө |
|
George Karpenkov
|
c8e52edcb9
[analyzer] [NFC] Unify Minimal and Extensive diagnostics.
|
7 жил өмнө |
|
George Karpenkov
|
37a2c4ce05
[analyzer] [NFC] Remove unused Extensive diagnostic setting,
|
7 жил өмнө |
|
Mikhail R. Gadelha
|
9f72894e31
[analyzer] False positive refutation with Z3
|
7 жил өмнө |
 Adrian Prantl
|
647be32c60
Remove \brief commands from doxygen comments.
|
7 жил өмнө |
 Richard Smith
|
ef91bd38cd
PR37189 Fix incorrect end source location and spelling for a split '>>' token.
|
7 жил өмнө |
|
Artem Dergachev
|
e06070941b
[analyzer] Fix diagnostics in callees of interesting callees.
|
7 жил өмнө |
 Mandeep Singh Grang
|
a4c6f25016
[clang] Change std::sort to llvm::sort in response to r327219
|
7 жил өмнө |
 Eugene Zelenko
|
6e900125c7
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
|
7 жил өмнө |
|
George Karpenkov
|
599d6eacd9
[analyzer] Consider switch- and goto- labels when constructing the set of executed lines
|
7 жил өмнө |
|
George Karpenkov
|
8d4b6d5227
[analyzer] [NFC] Factor out generating path diagnostics for a statement into a function
|
7 жил өмнө |
|
George Karpenkov
|
b2aa74af5d
[analyzer] support a mode to only show relevant lines in HTML diagnostics
|
7 жил өмнө |
|
George Karpenkov
|
606fddaeca
[analyzer] do not crash with assertion on processing locations of bodyfarmed functions
|
7 жил өмнө |
|
Artem Dergachev
|
3ad7a89220
[analyzer] De-duplicate path diagnostics for each exploded graph node.
|
7 жил өмнө |
|
Artem Dergachev
|
78987fbb88
[analyzer] Rename functions responsible for CFG-based suppress-on-sink.
|
8 жил өмнө |
|
Artem Dergachev
|
7c823a91d8
[analyzer] Treat throws as sinks for suppress-on-sink purposes.
|
8 жил өмнө |
