 Csaba Dabis
|
27cb4e0641
[analyzer] Analysis: Silence checkers
|
6 жил өмнө |
 Kristof Umann
|
387516af11
[analyzer] Add a new frontend flag to display all checker options
|
6 жил өмнө |
|
Kristof Umann
|
ce3ecc9eaf
[analyzer] Remove the default value arg from getChecker*Option
|
6 жил өмнө |
|
Kristof Umann
|
786546290e
[analyzer] Insert checker options into AnalyzerOption::ConfigTable
|
6 жил өмнө |
|
Kristof Umann
|
34d9084833
[analyzer] Don't display implementation checkers under -analyzer-checker-help, but do under the new flag -analyzer-checker-help-hidden
|
6 жил өмнө |
 Kristof Umann
|
862cc4393c
[analyzer] Enable subcheckers to possess checker options
|
6 жил өмнө |
 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 жил өмнө |
 Aaron Ballman
|
26ec99a284
Allow direct navigation to static analysis checker documentation through SARIF exports.
|
6 жил өмнө |
|
Kristof Umann
|
d1b208c30b
[analyzer] Evaluate all non-checker config options before analysis
|
6 жил өмнө |
|
Kristof Umann
|
a216d79fac
[analyzer] Drastically simplify the tblgen files used for checkers
|
6 жил өмнө |
|
Kristof Umann
|
4a05c5b70a
[analyzer] Restrict AnalyzerOptions' interface so that non-checker objects have to be registered
|
6 жил өмнө |
|
Kristof Umann
|
f0d9f1d0c7
[analyzer][NFC] Collect all -analyzer-config options in a .def file
|
6 жил өмнө |
|
Kristof Umann
|
73bb3f29cb
[analyzer][NFC] Fix some incorrect uses of -analyzer-config options
|
6 жил өмнө |
|
Kristof Umann
|
537ae129b7
[analyzer][PlistMacroExpansion] Part 1.: New expand-macros flag
|
6 жил өмнө |
|
Kristof Umann
|
ed6dc92533
[analyzer][NFC] Fix inconsistencies in AnalyzerOptions
|
6 жил өмнө |
 George Karpenkov
|
0fe246dfa0
[analyzer] Experiment with an iteration order only based on location, and not using the stack frame
|
6 жил өмнө |
|
George Karpenkov
|
faff2291a9
[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default
|
7 жил өмнө |
 Adam Balogh
|
102621ddc9
[Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions
|
7 жил өмнө |
 Mikhail R. Gadelha
|
6efe165706
[analyzer] Memoize complexity of SymExpr
|
7 жил өмнө |
|
Mikhail R. Gadelha
|
6fda594059
[analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled
|
7 жил өмнө |
|
Mikhail R. Gadelha
|
d94210cb73
[analyzer] Add option to set maximum symbol complexity threshold
|
7 жил өмнө |
 Artem Dergachev
|
f5fb3f3b81
[CFG] [analyzer] Add construction contexts that explain pre-C++17 copy elision.
|
7 жил өмнө |
|
Mikhail R. Gadelha
|
9f72894e31
[analyzer] False positive refutation with Z3
|
7 жил өмнө |
|
Adam Balogh
|
44fcdc119f
[Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyzer Option)
|
7 жил өмнө |
|
Artem Dergachev
|
df9f4af626
[analyzer] Enable temporary object destructor inlining by default.
|
7 жил өмнө |
 Maxim Ostapenko
|
359fc2a1d2
[analyzer] Add scope information to CFG
|
7 жил өмнө |
 Eugene Zelenko
|
6e900125c7
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
|
7 жил өмнө |
|
Artem Dergachev
|
89453f7204
[analyzer] Enable cfg-temporary-dtors by default.
|
7 жил өмнө |
 Ilya Biryukov
|
c476211d8b
Resubmit [analyzer] Support for naive cross translation unit analysis
|
7 жил өмнө |
|
Ilya Biryukov
|
8525a325f5
Revert "[analyzer] Support for naive cross translation unit analysis"
|
7 жил өмнө |
