clang::ento::SValExplainer Class Reference

#include "clang/StaticAnalyzer/Checkers/SValExplainer.h"

Inheritance diagram for clang::ento::SValExplainer:

Collaboration diagram for clang::ento::SValExplainer:

Public Member Functions
	SValExplainer (ASTContext &Ctx)
std::string	VisitUnknownVal (UnknownVal V)
std::string	VisitUndefinedVal (UndefinedVal V)
std::string	VisitLocMemRegionVal (loc::MemRegionVal V)
std::string	VisitLocConcreteInt (loc::ConcreteInt V)
std::string	VisitNonLocSymbolVal (nonloc::SymbolVal V)
std::string	VisitNonLocConcreteInt (nonloc::ConcreteInt V)
std::string	VisitNonLocLazyCompoundVal (nonloc::LazyCompoundVal V)
std::string	VisitSymbolRegionValue (const SymbolRegionValue *S)
std::string	VisitSymbolConjured (const SymbolConjured *S)
std::string	VisitSymbolDerived (const SymbolDerived *S)
std::string	VisitSymbolExtent (const SymbolExtent *S)
std::string	VisitSymbolMetadata (const SymbolMetadata *S)
std::string	VisitSymIntExpr (const SymIntExpr *S)
std::string	VisitSymSymExpr (const SymSymExpr *S)
std::string	VisitSymbolicRegion (const SymbolicRegion *R)
std::string	VisitAllocaRegion (const AllocaRegion *R)
std::string	VisitCompoundLiteralRegion (const CompoundLiteralRegion *R)
std::string	VisitStringRegion (const StringRegion *R)
std::string	VisitElementRegion (const ElementRegion *R)
std::string	VisitVarRegion (const VarRegion *R)
std::string	VisitObjCIvarRegion (const ObjCIvarRegion *R)
std::string	VisitFieldRegion (const FieldRegion *R)
std::string	VisitCXXTempObjectRegion (const CXXTempObjectRegion *R)
std::string	VisitCXXBaseObjectRegion (const CXXBaseObjectRegion *R)
std::string	VisitSVal (SVal V)
std::string	VisitSymExpr (SymbolRef S)
std::string	VisitMemRegion (const MemRegion *R)
Public Member Functions inherited from clang::ento::SValVisitor< SValExplainer, std::string >
std::string	Visit (SVal V)
std::string	VisitSVal (SVal V)
Public Member Functions inherited from clang::ento::SymExprVisitor< SValExplainer, std::string >
std::string	Visit (SymbolRef S)
std::string	VisitSymExpr (SymbolRef S)
Public Member Functions inherited from clang::ento::MemRegionVisitor< SValExplainer, std::string >
std::string	Visit (const MemRegion *R)
std::string	VisitMemRegion (const MemRegion *R)

Detailed Description

Definition at line 26 of file SValExplainer.h.

Constructor & Destructor Documentation

SValExplainer()

clang::ento::SValExplainer::SValExplainer ( ASTContext &  Ctx )

inline

Definition at line 45 of file SValExplainer.h.

Member Function Documentation

VisitAllocaRegion()

std::string clang::ento::SValExplainer::VisitAllocaRegion ( const AllocaRegion *  R )

inline

Definition at line 156 of file SValExplainer.h.

References clang::ento::AllocaRegion::getExpr().

VisitCompoundLiteralRegion()

std::string clang::ento::SValExplainer::VisitCompoundLiteralRegion ( const CompoundLiteralRegion *  R )

inline

Definition at line 160 of file SValExplainer.h.

References clang::ento::CompoundLiteralRegion::getLiteralExpr().

VisitCXXBaseObjectRegion()

std::string clang::ento::SValExplainer::VisitCXXBaseObjectRegion ( const CXXBaseObjectRegion *  R )

inline

Definition at line 214 of file SValExplainer.h.

References clang::ento::CXXBaseObjectRegion::getDecl(), clang::NamedDecl::getQualifiedNameAsString(), clang::ento::SubRegion::getSuperRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitCXXTempObjectRegion()

std::string clang::ento::SValExplainer::VisitCXXTempObjectRegion ( const CXXTempObjectRegion *  R )

inline

Definition at line 209 of file SValExplainer.h.

References clang::ento::CXXTempObjectRegion::getExpr().

VisitElementRegion()

std::string clang::ento::SValExplainer::VisitElementRegion ( const ElementRegion *  R )

inline

Definition at line 168 of file SValExplainer.h.

References clang::QualType::getAsString(), and clang::ento::ElementRegion::getElementType().

VisitFieldRegion()

std::string clang::ento::SValExplainer::VisitFieldRegion ( const FieldRegion *  R )

inline

Definition at line 204 of file SValExplainer.h.

References clang::ento::FieldRegion::getDecl(), clang::NamedDecl::getNameAsString(), clang::ento::SubRegion::getSuperRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitLocConcreteInt()

std::string clang::ento::SValExplainer::VisitLocConcreteInt ( loc::ConcreteInt  V )

inline

Definition at line 66 of file SValExplainer.h.

VisitLocMemRegionVal()

std::string clang::ento::SValExplainer::VisitLocMemRegionVal ( loc::MemRegionVal  V )

inline

Definition at line 55 of file SValExplainer.h.

References clang::ento::loc::MemRegionVal::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitMemRegion()

std::string clang::ento::SValExplainer::VisitMemRegion ( const MemRegion *  R )

inline

Definition at line 235 of file SValExplainer.h.

VisitNonLocConcreteInt()

std::string clang::ento::SValExplainer::VisitNonLocConcreteInt ( nonloc::ConcreteInt  V )

inline

Definition at line 78 of file SValExplainer.h.

VisitNonLocLazyCompoundVal()

std::string clang::ento::SValExplainer::VisitNonLocLazyCompoundVal ( nonloc::LazyCompoundVal  V )

inline

Definition at line 87 of file SValExplainer.h.

References clang::ento::nonloc::LazyCompoundVal::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitNonLocSymbolVal()

std::string clang::ento::SValExplainer::VisitNonLocSymbolVal ( nonloc::SymbolVal  V )

inline

Definition at line 74 of file SValExplainer.h.

References clang::ento::nonloc::SymbolVal::getSymbol(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitObjCIvarRegion()

std::string clang::ento::SValExplainer::VisitObjCIvarRegion ( const ObjCIvarRegion *  R )

inline

Definition at line 199 of file SValExplainer.h.

References clang::ento::ObjCIvarRegion::getDecl(), clang::NamedDecl::getNameAsString(), clang::ento::SubRegion::getSuperRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitStringRegion()

std::string clang::ento::SValExplainer::VisitStringRegion ( const StringRegion *  R )

inline

Definition at line 164 of file SValExplainer.h.

References clang::ento::MemRegion::getString().

VisitSVal()

std::string clang::ento::SValExplainer::VisitSVal ( SVal  V )

inline

Definition at line 219 of file SValExplainer.h.

VisitSymbolConjured()

std::string clang::ento::SValExplainer::VisitSymbolConjured ( const SymbolConjured *  S )

inline

Definition at line 100 of file SValExplainer.h.

References clang::QualType::getAsString(), clang::ento::SymbolConjured::getStmt(), and clang::ento::SymbolConjured::getType().

VisitSymbolDerived()

std::string clang::ento::SValExplainer::VisitSymbolDerived ( const SymbolDerived *  S )

inline

Definition at line 105 of file SValExplainer.h.

References clang::ento::SymbolDerived::getParentSymbol(), clang::ento::SymbolDerived::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitSymbolExtent()

std::string clang::ento::SValExplainer::VisitSymbolExtent ( const SymbolExtent *  S )

inline

Definition at line 110 of file SValExplainer.h.

References clang::ento::SymbolExtent::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitSymbolicRegion()

std::string clang::ento::SValExplainer::VisitSymbolicRegion ( const SymbolicRegion *  R )

inline

Definition at line 140 of file SValExplainer.h.

References clang::Type::getAs(), clang::QualType::getCanonicalType(), clang::ento::MemRegion::getMemorySpace(), clang::ento::SymbolicRegion::getSymbol(), clang::ento::SymExpr::getType(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitSymbolMetadata()

std::string clang::ento::SValExplainer::VisitSymbolMetadata ( const SymbolMetadata *  S )

inline

Definition at line 114 of file SValExplainer.h.

References clang::QualType::getAsString(), clang::ento::SymbolMetadata::getRegion(), clang::ento::SymbolMetadata::getType(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitSymbolRegionValue()

std::string clang::ento::SValExplainer::VisitSymbolRegionValue ( const SymbolRegionValue *  S )

inline

Definition at line 91 of file SValExplainer.h.

References clang::ento::SymbolRegionValue::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitSymExpr()

std::string clang::ento::SValExplainer::VisitSymExpr ( SymbolRef  S )

inline

Definition at line 227 of file SValExplainer.h.

References clang::ento::SymExpr::dumpToStream().

VisitSymIntExpr()

std::string clang::ento::SValExplainer::VisitSymIntExpr ( const SymIntExpr *  S )

inline

Definition at line 119 of file SValExplainer.h.

References clang::ento::SymIntExpr::getLHS(), clang::ento::BinarySymExpr::getOpcode(), clang::BinaryOperator::getOpcodeStr(), clang::ento::SymIntExpr::getRHS(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitSymSymExpr()

std::string clang::ento::SValExplainer::VisitSymSymExpr ( const SymSymExpr *  S )

inline

Definition at line 131 of file SValExplainer.h.

References clang::ento::SymSymExpr::getLHS(), clang::ento::BinarySymExpr::getOpcode(), clang::BinaryOperator::getOpcodeStr(), clang::ento::SymSymExpr::getRHS(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

VisitUndefinedVal()

std::string clang::ento::SValExplainer::VisitUndefinedVal ( UndefinedVal  V )

inline

Definition at line 51 of file SValExplainer.h.

VisitUnknownVal()

std::string clang::ento::SValExplainer::VisitUnknownVal ( UnknownVal  V )

inline

Definition at line 47 of file SValExplainer.h.

VisitVarRegion()

std::string clang::ento::SValExplainer::VisitVarRegion ( const VarRegion *  R )

inline

Definition at line 182 of file SValExplainer.h.

References clang::ento::VarRegion::getDecl().

---

The documentation for this class was generated from the following file:

• include/clang/StaticAnalyzer/Checkers/SValExplainer.h