clang 22.0.0git
Public Member Functions | List of all members
clang::ento::SValExplainer Class Reference

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

Inheritance diagram for clang::ento::SValExplainer:
[legend]

Public Member Functions

 SValExplainer (ASTContext &Ctx, ProgramStateRef State)
std::string VisitUnknownVal (UnknownVal V)
std::string VisitUndefinedVal (UndefinedVal V)
std::string VisitMemRegionVal (loc::MemRegionVal V)
std::string VisitConcreteInt (loc::ConcreteInt V)
std::string VisitSymbolVal (nonloc::SymbolVal V)
std::string VisitConcreteInt (nonloc::ConcreteInt V)
std::string VisitLazyCompoundVal (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 VisitUnarySymExpr (const UnarySymExpr *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 VisitNonParamVarRegion (const NonParamVarRegion *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 VisitParamVarRegion (const ParamVarRegion *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 28 of file SValExplainer.h.

Constructor & Destructor Documentation

◆ SValExplainer()

clang::ento::SValExplainer::SValExplainer ( ASTContext & Ctx,
ProgramStateRef State )
inline

Definition at line 67 of file SValExplainer.h.

Member Function Documentation

◆ VisitAllocaRegion()

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

Definition at line 185 of file SValExplainer.h.

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

◆ VisitCompoundLiteralRegion()

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

Definition at line 189 of file SValExplainer.h.

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

◆ VisitConcreteInt() [1/2]

std::string clang::ento::SValExplainer::VisitConcreteInt ( loc::ConcreteInt V)
inline

Definition at line 89 of file SValExplainer.h.

References clang::ento::OS, and V.

◆ VisitConcreteInt() [2/2]

std::string clang::ento::SValExplainer::VisitConcreteInt ( nonloc::ConcreteInt V)
inline

Definition at line 101 of file SValExplainer.h.

References clang::ento::OS, and V.

◆ VisitCXXBaseObjectRegion()

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

Definition at line 249 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 244 of file SValExplainer.h.

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

◆ VisitElementRegion()

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

Definition at line 197 of file SValExplainer.h.

References clang::ento::SVal::getAs(), clang::ento::ElementRegion::getElementType(), clang::ento::ElementRegion::getIndex(), clang::ento::SubRegion::getSuperRegion(), clang::ento::OS, and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

◆ VisitFieldRegion()

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

Definition at line 239 of file SValExplainer.h.

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

◆ VisitLazyCompoundVal()

std::string clang::ento::SValExplainer::VisitLazyCompoundVal ( nonloc::LazyCompoundVal V)
inline

Definition at line 110 of file SValExplainer.h.

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

◆ VisitMemRegion()

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

Definition at line 303 of file SValExplainer.h.

References clang::ento::OS.

◆ VisitMemRegionVal()

std::string clang::ento::SValExplainer::VisitMemRegionVal ( loc::MemRegionVal V)
inline

Definition at line 78 of file SValExplainer.h.

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

◆ VisitNonParamVarRegion()

std::string clang::ento::SValExplainer::VisitNonParamVarRegion ( const NonParamVarRegion * R)
inline

Definition at line 217 of file SValExplainer.h.

References clang::ento::NonParamVarRegion::getDecl(), clang::NamedDecl::getQualifiedNameAsString(), clang::Decl::hasAttr(), clang::VarDecl::hasGlobalStorage(), clang::VarDecl::hasLocalStorage(), clang::isa(), and clang::VarDecl::isStaticLocal().

◆ VisitObjCIvarRegion()

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

Definition at line 234 of file SValExplainer.h.

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

◆ VisitParamVarRegion()

std::string clang::ento::SValExplainer::VisitParamVarRegion ( const ParamVarRegion * R)
inline

Definition at line 254 of file SValExplainer.h.

References clang::cast(), clang::ento::ParamVarRegion::getDecl(), clang::LocationContext::getDecl(), clang::ento::ParamVarRegion::getIndex(), clang::NamedDecl::getQualifiedNameAsString(), clang::ento::VarRegion::getStackFrame(), clang::isa(), and clang::ento::OS.

◆ VisitStringRegion()

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

Definition at line 193 of file SValExplainer.h.

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

◆ VisitSVal()

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

Definition at line 287 of file SValExplainer.h.

References clang::ento::OS, and V.

◆ VisitSymbolConjured()

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

Definition at line 123 of file SValExplainer.h.

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

◆ VisitSymbolDerived()

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

Definition at line 129 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 134 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 169 of file SValExplainer.h.

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

◆ VisitSymbolMetadata()

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

Definition at line 138 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 114 of file SValExplainer.h.

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

◆ VisitSymbolVal()

std::string clang::ento::SValExplainer::VisitSymbolVal ( nonloc::SymbolVal V)
inline

Definition at line 97 of file SValExplainer.h.

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

◆ VisitSymExpr()

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

Definition at line 295 of file SValExplainer.h.

References clang::ento::SymExpr::dumpToStream(), and clang::ento::OS.

◆ VisitSymIntExpr()

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

Definition at line 143 of file SValExplainer.h.

References clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >::getLHS(), clang::ento::BinarySymExpr::getOpcode(), clang::BinaryOperator::getOpcodeStr(), clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >::getRHS(), clang::ento::OS, and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

◆ VisitSymSymExpr()

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

Definition at line 155 of file SValExplainer.h.

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

◆ VisitUnarySymExpr()

std::string clang::ento::SValExplainer::VisitUnarySymExpr ( const UnarySymExpr * S)
inline

Definition at line 161 of file SValExplainer.h.

References clang::ento::UnarySymExpr::getOpcode(), clang::UnaryOperator::getOpcodeStr(), clang::ento::UnarySymExpr::getOperand(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

◆ VisitUndefinedVal()

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

Definition at line 74 of file SValExplainer.h.

References V.

◆ VisitUnknownVal()

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

Definition at line 70 of file SValExplainer.h.

References V.

The documentation for this class was generated from the following file:
Generated on for clang by doxygen 1.14.0