| /external/clang/lib/StaticAnalyzer/Core/ |
| DynamicTypeMap.cpp | 34 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) {
|
| SVals.cpp | 41 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) {
76 if (const SymbolicRegion *SymR = IncludeBaseRegions ?
78 dyn_cast<SymbolicRegion>(R->StripCasts()))
94 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR))
|
| MemRegion.cpp | 220 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const {
336 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym,
343 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const {
344 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());
520 void SymbolicRegion::dumpToStream(raw_ostream &os) const {
941 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) {
942 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion());
945 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) {
946 return getSubRegion<SymbolicRegion>(Sym, getHeapRegion());
[all...] |
| RegionStore.cpp | [all...] |
| Store.cpp | 75 if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R))
290 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
|
| ProgramState.cpp | 594 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
670 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R))
713 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg))
|
| SymbolManager.cpp | 427 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
|
| SimpleSValBuilder.cpp | 154 if (const SymbolicRegion *SymR = R->getSymbolicBase())
757 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) ||
[all...] |
| BugReporter.cpp | [all...] |
| BugReporterVisitors.cpp | [all...] |
| ExprEngine.cpp | [all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| PointerSubChecker.cpp | 60 if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR))
|
| CastSizeChecker.cpp | 111 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R);
|
| NullabilityChecker.cpp | 199 const SymbolicRegion *getTrackRegion(SVal Val,
259 const SymbolicRegion *
272 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion());
274 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion());
277 return dyn_cast<SymbolicRegion>(Region);
417 const auto *Region = I->first->getAs<SymbolicRegion>();
[all...] |
| GenericTaintChecker.cpp | 581 const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg);
|
| MallocChecker.cpp | [all...] |
| LocalizationChecker.cpp | 794 const SymbolicRegion *SymReg =
795 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion());
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 41 class SymbolicRegion;
148 const SymbolicRegion *getSymbolicBase() const;
706 /// SymbolicRegion - A special, "non-concrete" region. Unlike other region
707 /// classes, SymbolicRegion represents a region that serves as an alias for
711 class SymbolicRegion : public SubRegion {
716 SymbolicRegion(const SymbolRef s, const MemRegion* sreg)
[all...] |
