 George Karpenkov
|
31a8e3fd05
Revert "Fix failing MSan bots"
|
6 years ago |
 Vlad Tsyrklevich
|
0a455fbe13
Fix failing MSan bots
|
6 years ago |
|
George Karpenkov
|
cc94389e7c
[analyzer] const-ify reference to bug type used in BugReporter
|
6 years ago |
 Raphael Isemann
|
9db9051461
Misc typos fixes in ./lib folder
|
6 years ago |
 Kristof Umann
|
d1b208c30b
[analyzer] Evaluate all non-checker config options before analysis
|
6 years ago |
 Reid Kleckner
|
1168491f34
Fix clang -Wimplicit-fallthrough warnings across llvm, NFC
|
6 years ago |
|
Kristof Umann
|
537ae129b7
[analyzer][PlistMacroExpansion] Part 1.: New expand-macros flag
|
6 years ago |
 Bill Wendling
|
0680f97fc4
Create ConstantExpr class
|
6 years ago |
|
George Karpenkov
|
b0be6606a0
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
6 years ago |
 Fangrui Song
|
2bc7aaa80d
llvm::sort(C.begin(), C.end(), ...) -> llvm::sort(C, ...)
|
7 years ago |
|
George Karpenkov
|
e14e2edda4
[analyzer] Fix bug in isInevitablySinking
|
7 years ago |
|
George Karpenkov
|
e7f0cee909
[analyzer] [NFC] Dead code removal
|
7 years ago |
|
George Karpenkov
|
5c31d31323
[analyzer] [NFC] Prefer passing around reference to std::unique_ptr&
|
7 years ago |
|
George Karpenkov
|
5bf7347d5c
[analyzer] Executed lines: store file IDs, not hashes.
|
7 years ago |
|
George Karpenkov
|
1ee3e10df5
[analyzer] Do not add invalid source location to the coverage information
|
7 years ago |
|
George Karpenkov
|
4d7f220123
[analyzer] Push updating-the-executed-lines logic into the BugReporter.
|
7 years ago |
 Stephen Kelly
|
d7b659b592
Port getLocStart -> getBeginLoc
|
7 years ago |
 Mikhail R. Gadelha
|
877e8da78a
[analyzer] Try to minimize the number of equivalent bug reports evaluated by the refutation manager
|
7 years ago |
 Artem Dergachev
|
0e4f59d7b4
[analyzer] Remove a debug print that was accidentally left around.
|
7 years ago |
|
George Karpenkov
|
3387634751
[analyzer] [NFC] A convenient getter for getting a current stack frame
|
7 years ago |
|
George Karpenkov
|
d245644c76
[analyzer] Do not run visitors until the fixpoint, run only once.
|
7 years ago |
|
George Karpenkov
|
46ac88f786
[analyzer] Remove accidentally committed lines.
|
7 years ago |
|
George Karpenkov
|
eee461ae16
[analyzer] [NFC] Move ::dump methods from BugReporter.cpp to PathDiagnostics.cpp
|
7 years ago |
|
George Karpenkov
|
adbb1b6dd3
[analyzer] [NFC] Remove most usages of getEndPath
|
7 years ago |
|
George Karpenkov
|
9cc0ad9b8a
[analyzer] [NFC] Now let's have only one place for diagnostics generation
|
7 years ago |
|
George Karpenkov
|
c8e52edcb9
[analyzer] [NFC] Unify Minimal and Extensive diagnostics.
|
7 years ago |
|
George Karpenkov
|
37a2c4ce05
[analyzer] [NFC] Remove unused Extensive diagnostic setting,
|
7 years ago |
|
Mikhail R. Gadelha
|
9f72894e31
[analyzer] False positive refutation with Z3
|
7 years ago |
 Adrian Prantl
|
647be32c60
Remove \brief commands from doxygen comments.
|
7 years ago |
 Richard Smith
|
ef91bd38cd
PR37189 Fix incorrect end source location and spelling for a split '>>' token.
|
7 years ago |
