 Dmitri Gribenko
|
a19ba5238e
Removed some dead code in BugReporter and related files
|
6 роки тому |
 Rui Ueyama
|
ce7674d7be
Fix parameter name comments using clang-tidy. NFC.
|
6 роки тому |
 Artem Dergachev
|
46470dfbae
[CFG] Add branch to skip vbase inits when they're handled by superclass.
|
6 роки тому |
 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 роки тому |
 Kristof Umann
|
d1b208c30b
[analyzer] Evaluate all non-checker config options before analysis
|
6 роки тому |
 George Karpenkov
|
2de387a495
[analyzer] Add ASTContext to CheckerManager
|
7 роки тому |
|
Artem Dergachev
|
f5fb3f3b81
[CFG] [analyzer] Add construction contexts that explain pre-C++17 copy elision.
|
7 роки тому |
 Maxim Ostapenko
|
359fc2a1d2
[analyzer] Add scope information to CFG
|
7 роки тому |
|
Artem Dergachev
|
a39a1f8aa0
[CFG] Add extra context to C++ constructor statement elements.
|
7 роки тому |
|
George Karpenkov
|
2b1d1f02e9
[Analyzer] Do not use static storage to for implementations created in BodyFarm.cpp
|
7 роки тому |
 Peter Szecsi
|
f358588224
[StaticAnalyzer] LoopUnrolling fixes
|
8 роки тому |
|
Peter Szecsi
|
7e86b10209
[CFG] Add LoopExit information to CFG
|
8 роки тому |
 Matthias Gehre
|
44b5837278
CFG: Add CFGElement for automatic variables that leave the scope
|
8 роки тому |
 Ted Kremenek
|
99bb39afb4
[analyzer] Apply whitespace cleanups by Honggyu Kim.
|
10 роки тому |
|
Ted Kremenek
|
fdf0d35132
Add support for the static analyzer to synthesize function implementations from external model files.
|
11 роки тому |
|
Ted Kremenek
|
02a88c3edf
Add configuration plumbing to enable static initializer branching in the CFG for the analyzer.
|
12 роки тому |
|
Ted Kremenek
|
622b6fb0a1
Have AnalyzerOptions::getBooleanOption() stick the matching config
|
13 роки тому |
|
Ted Kremenek
|
a43df95396
Implement faux-body-synthesis of well-known functions in the static analyzer when
|
13 роки тому |
 Jordan Rose
|
5a1ffe98b0
[analyzer] Always include destructors in the analysis CFG.
|
13 роки тому |
|
Ted Kremenek
|
255d4d4226
Store const& to AnalyzerOptions in AnalysisManager instead of copying
|
13 роки тому |
|
Ted Kremenek
|
7b73e0832b
Add new -cc1 driver option -analyzer-config, which allows one to specify
|
13 роки тому |
|
Ted Kremenek
|
c4bac8e376
Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the same time.
|
13 роки тому |
|
Jordan Rose
|
e1ce783708
[analyzer] Turn -cfg-add-initializers on by default, and remove the flag.
|
13 роки тому |
 Benjamin Kramer
|
facde171ae
Remove unused private member variables found by clang's new -Wunused-private-field.
|
13 роки тому |
 Douglas Gregor
|
87e154c09b
Remove the unused, unmaintained, incomplete 'Index' library.
|
13 роки тому |
 Anna Zaks
|
b47dbcbc12
[analyzer] Enable retry exhausted without inlining by default.
|
13 роки тому |
|
Anna Zaks
|
5903a373db
[analyzer] Add an option to re-analyze a dead-end path without inlining.
|
13 роки тому |
 David Blaikie
|
4e4d08403c
Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST).
|
13 роки тому |
|
Anna Zaks
|
6625335213
[analyzer] Rework inlining related command line options.
|
13 роки тому |
|
Anna Zaks
|
8235f9c9c8
[analyzer] Bound the size of the functions being inlined + provide
|
13 роки тому |
