 Csaba Dabis
|
66328ff826
[analyzer] print() JSONify: SVal implementation
|
6 years ago |
 Fangrui Song
|
0761773157
Fix file headers. NFC
|
6 years ago |
 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 years ago |
 Richard Trieu
|
f9802cffcd
Fix header issues.
|
6 years ago |
 Artem Dergachev
|
88f8d0b7bd
[analyzer] Fix symbol discovery in nonloc::LocAsInteger values.
|
6 years ago |
 Adrian Prantl
|
647be32c60
Remove \brief commands from doxygen comments.
|
7 years ago |
 Aleksei Sidorin
|
8aec086b16
[analyzer] Don't crash on printing ConcreteInt of size >64 bits
|
7 years ago |
 Eugene Zelenko
|
09a80cc504
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
|
7 years ago |
 NAKAMURA Takumi
|
669951b136
SVal::getAsSymbol(bool IncludeBaseRegions): Follow clang/StaticAnalyzer/Core/PathSensitive/SVals.h, s/IncludeBaseRegion/IncludeBaseRegions/g [-Wdocumentation]
|
7 years ago |
 Devin Coughlin
|
9761e66e32
[analyzer] Add a new SVal to support pointer-to-member operations.
|
8 years ago |
 Yaron Keren
|
dcbc03e446
Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r259192 post commit comment.
|
9 years ago |
|
Artem Dergachev
|
3e7cbba83d
[analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.
|
9 years ago |
 Craig Topper
|
1843a2095a
[C++11] Use 'nullptr'. StaticAnalyzer edition.
|
11 years ago |
 Anna Zaks
|
8ef064d53f
[analyzer] Ensure BugReporterTracking works on regions with pointer arithmetic
|
12 years ago |
 Jordan Rose
|
a339cd66be
[analyzer] Loc-Loc operations (subtraction or comparison) produce a NonLoc.
|
12 years ago |
 David Blaikie
|
dc84cd5efd
Include llvm::Optional in clang/Basic/LLVM.h
|
12 years ago |
|
David Blaikie
|
5251abea41
Replace SVal llvm::cast support to be well-defined.
|
12 years ago |
|
Jordan Rose
|
978aeac1a9
[analyzer] Reuse a LazyCompoundVal if its type matches the new region.
|
12 years ago |
 Benjamin Kramer
|
a93d0f2806
Include pruning and general cleanup.
|
12 years ago |
|
Anna Zaks
|
5fc1d0c453
[analyzer] Teach the analyzer about implicit initialization of statics
|
13 years ago |
|
Jordan Rose
|
b11a3ada9a
[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.
|
13 years ago |
|
Jordan Rose
|
4ccc4cc5d4
[analyzer] Remove obsolete ObjCPropRef SVal kind.
|
13 years ago |
|
Anna Zaks
|
4f4705faae
[analyzer] Remove redundant if statement (pointed out by Ted).
|
13 years ago |
|
Anna Zaks
|
076add680e
[analyzer] +Comments
|
13 years ago |
|
David Blaikie
|
561d3abc88
Remove unnecessary default cases in switches over enums.
|
13 years ago |
|
Anna Zaks
|
1d1d515b2b
[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it
|
13 years ago |
|
Anna Zaks
|
aace9ef279
[analyzer] Propagate taint through NonLoc to NonLoc casts.
|
13 years ago |
|
Anna Zaks
|
5344baa704
[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal
|
13 years ago |
|
Anna Zaks
|
3cdf584e06
[analyzer] First step toward removing
|
13 years ago |
|
Anna Zaks
|
64595fad45
[analyzer] Add a helper method.
|
13 years ago |
