 Fangrui Song
|
e350174b21
Revert r347417 "Re-Reinstate 347294 with a fix for the failures."
|
6 år sedan |
 Kristof Umann
|
d1b208c30b
[analyzer] Evaluate all non-checker config options before analysis
|
6 år sedan |
 Hans Wennborg
|
b129ce9436
Re-commit r347417 "Re-Reinstate 347294 with a fix for the failures."
|
6 år sedan |
|
Hans Wennborg
|
e44c638ccf
Revert r347417 "Re-Reinstate 347294 with a fix for the failures."
|
6 år sedan |
 Bill Wendling
|
4e64d31bc5
Re-Reinstate 347294 with a fix for the failures.
|
6 år sedan |
 Nico Weber
|
e9629181bd
Revert r347364 again, the fix was incomplete.
|
6 år sedan |
|
Bill Wendling
|
830bf59980
Reinstate 347294 with a fix for the failures.
|
6 år sedan |
 George Karpenkov
|
d2d7786ce5
[analyzer] [NFC] Remove unused "state" argument from makeSymExprValNN
|
7 år sedan |
 Mikhail R. Gadelha
|
6fda594059
[analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled
|
7 år sedan |
 Richard Smith
|
295c88685f
DR330: look through array types when forming the cv-decomposition of a type.
|
7 år sedan |
|
Mikhail R. Gadelha
|
d94210cb73
[analyzer] Add option to set maximum symbol complexity threshold
|
7 år sedan |
 Artem Dergachev
|
8ae2126a3f
[analyzer] Treat more const variables and fields as known contants.
|
7 år sedan |
 Eugene Zelenko
|
09a80cc504
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
|
7 år sedan |
|
George Karpenkov
|
4e0630a8ca
[analyzer] a few helper methods for getting and comparing symbolic values
|
7 år sedan |
 Dominic Chen
|
f3ab09d9a0
Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"
|
8 år sedan |
|
Dominic Chen
|
e469ff2759
[analyzer] Support generating and reasoning over more symbolic constraint types
|
8 år sedan |
 Galina Kistanova
|
5775ec4f8a
Added LLVM_FALLTHROUGH to address warning: this statement may fall through. NFC.
|
8 år sedan |
 Devin Coughlin
|
e18cc41c81
[analyzer] Treat pointers to static member functions as function pointers
|
8 år sedan |
|
Devin Coughlin
|
9761e66e32
[analyzer] Add a new SVal to support pointer-to-member operations.
|
8 år sedan |
|
Richard Smith
|
993e3aa6b9
Remove custom handling of array copies in lambda by-value array capture and
|
8 år sedan |
|
Artem Dergachev
|
64f71c6f30
[analyzer] Add LocationContext information to SymbolMetadata.
|
9 år sedan |
|
Devin Coughlin
|
eb8ffd99ee
[analyzer] Avoid crash when attempting to evaluate binary operation on LazyCompoundVal.
|
9 år sedan |
|
Artem Dergachev
|
da8e5d14ce
[analyzer] Fix an off-by-one in evalIntegralCast()
|
9 år sedan |
|
Artem Dergachev
|
3e7cbba83d
[analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.
|
9 år sedan |
 Pierre Gousseau
|
8c0250d7e9
[analyzer] Evaluate integral casts as cast symbols if truncations are detected.
|
9 år sedan |
 Gabor Horvath
|
f2cf6fdb60
[analyzer] Improve modelling of nullptr_t in the analyzer. Fix PR25414.
|
9 år sedan |
 Anna Zaks
|
6975f3c2b4
[analyzer] Improve modeling of static initializers.
|
9 år sedan |
 Ismail Pazarbasi
|
838cb5dcc1
Analyzer: Teach analyzer how to handle TypeTraitExpr
|
10 år sedan |
 Ted Kremenek
|
99bb39afb4
[analyzer] Apply whitespace cleanups by Honggyu Kim.
|
10 år sedan |
 Jordan Rose
|
b7d549d2c2
[analyzer] Always use 'bool' as the SValBuilder condition type in C++.
|
11 år sedan |
