/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 | 216 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const { 332 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym, 339 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const { 340 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); 516 void SymbolicRegion::dumpToStream(raw_ostream &os) const { 995 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) { 996 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion()); 999 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) { 1000 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 | 108 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R);
|
ObjCSuperDeallocChecker.cpp | 155 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) {
|
NullabilityChecker.cpp | 200 const SymbolicRegion *getTrackRegion(SVal Val, 288 const SymbolicRegion * 301 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); 303 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); 306 return dyn_cast<SymbolicRegion>(Region); 484 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 | [all...] |
/external/clang/include/clang/StaticAnalyzer/Checkers/ |
SValExplainer.h | 37 bool isThisObject(const SymbolicRegion *R) { 58 if (auto SR = dyn_cast<SymbolicRegion>(R)) { 140 std::string VisitSymbolicRegion(const SymbolicRegion *R) {
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
MemRegion.h | 43 class SymbolicRegion; 112 const SymbolicRegion *getSymbolicBase() const; 702 /// SymbolicRegion - A special, "non-concrete" region. Unlike other region 703 /// classes, SymbolicRegion represents a region that serves as an alias for 707 class SymbolicRegion : public SubRegion { 712 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) [all...] |