Classes
struct	ContainerData

class	ContainerMap

struct	IteratorPosition

class	IteratorRegionMap

class	IteratorSymbolMap

Typedefs
using	IteratorSymbolMapTy = CLANG_ENTO_PROGRAMSTATE_MAP(SymbolRef, IteratorPosition)

using	IteratorRegionMapTy = CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, IteratorPosition)

using	ContainerMapTy = CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, ContainerData)

Functions
bool	isIteratorType (const QualType &Type)

bool	isIterator (const CXXRecordDecl *CRD)

bool	isComparisonOperator (OverloadedOperatorKind OK)

bool	isInsertCall (const FunctionDecl *Func)

bool	isEmplaceCall (const FunctionDecl *Func)

bool	isEraseCall (const FunctionDecl *Func)

bool	isEraseAfterCall (const FunctionDecl *Func)

bool	isAccessOperator (OverloadedOperatorKind OK)

bool	isAccessOperator (UnaryOperatorKind OK)

bool	isAccessOperator (BinaryOperatorKind OK)

bool	isDereferenceOperator (OverloadedOperatorKind OK)

bool	isDereferenceOperator (UnaryOperatorKind OK)

bool	isDereferenceOperator (BinaryOperatorKind OK)

bool	isIncrementOperator (OverloadedOperatorKind OK)

bool	isIncrementOperator (UnaryOperatorKind OK)

bool	isDecrementOperator (OverloadedOperatorKind OK)

bool	isDecrementOperator (UnaryOperatorKind OK)

bool	isRandomIncrOrDecrOperator (OverloadedOperatorKind OK)

bool	isRandomIncrOrDecrOperator (BinaryOperatorKind OK)

const ContainerData *	getContainerData (ProgramStateRef State, const MemRegion *Cont)

const IteratorPosition *	getIteratorPosition (ProgramStateRef State, SVal Val)

ProgramStateRef	setIteratorPosition (ProgramStateRef State, SVal Val, const IteratorPosition &Pos)

ProgramStateRef	createIteratorPosition (ProgramStateRef State, SVal Val, const MemRegion Cont, const Stmt S, const LocationContext *LCtx, unsigned blockCount)

ProgramStateRef	advancePosition (ProgramStateRef State, SVal Iter, OverloadedOperatorKind Op, SVal Distance)

ProgramStateRef	assumeNoOverflow (ProgramStateRef State, SymbolRef Sym, long Scale)

bool	compare (ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2, BinaryOperator::Opcode Opc)

bool	compare (ProgramStateRef State, NonLoc NL1, NonLoc NL2, BinaryOperator::Opcode Opc)

Typedef Documentation

◆ ContainerMapTy

using clang::ento::iterator::ContainerMapTy = typedef CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, ContainerData)

Definition at line 118 of file Iterator.h.

◆ IteratorRegionMapTy

using clang::ento::iterator::IteratorRegionMapTy = typedef CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, IteratorPosition)

Definition at line 116 of file Iterator.h.

◆ IteratorSymbolMapTy

using clang::ento::iterator::IteratorSymbolMapTy = typedef CLANG_ENTO_PROGRAMSTATE_MAP(SymbolRef, IteratorPosition)

Definition at line 114 of file Iterator.h.

Function Documentation

◆ advancePosition()

ProgramStateRef clang::ento::iterator::advancePosition	(	ProgramStateRef	State,
		SVal	Iter,
		OverloadedOperatorKind	Op,
		SVal	Distance
	)

Definition at line 223 of file Iterator.cpp.

References clang::ento::SVal::getAs(), getIteratorPosition(), clang::ento::SVal::getType(), clang::ento::nonloc::ConcreteInt::getValue(), Iter, and setIteratorPosition().

◆ assumeNoOverflow()

ProgramStateRef clang::ento::iterator::assumeNoOverflow	(	ProgramStateRef	State,
		SymbolRef	Sym,
		long	Scale
	)

Definition at line 263 of file Iterator.cpp.

References clang::ento::SValBuilder::evalBinOpNN(), clang::ento::BasicValueFactory::getAPSIntType(), clang::ento::SVal::getAs(), clang::ento::SValBuilder::getBasicValueFactory(), clang::ento::SValBuilder::getConditionType(), clang::ento::APSIntType::getMaxValue(), clang::ento::SymExpr::getType(), clang::ento::APSIntType::getValue(), clang::Type::isSignedIntegerOrEnumerationType(), clang::Max, clang::Min, and clang::T.

Referenced by createIteratorPosition().

◆ compare() [1/2]

bool clang::ento::iterator::compare	(	ProgramStateRef	State,
		NonLoc	NL1,
		NonLoc	NL2,
		BinaryOperator::Opcode	Opc
	)

Definition at line 302 of file Iterator.cpp.

◆ compare() [2/2]

bool clang::ento::iterator::compare	(	ProgramStateRef	State,
		SymbolRef	Sym1,
		SymbolRef	Sym2,
		BinaryOperator::Opcode	Opc
	)

Definition at line 297 of file Iterator.cpp.

References compare().

Referenced by compare().

◆ createIteratorPosition()

ProgramStateRef clang::ento::iterator::createIteratorPosition	(	ProgramStateRef	State,
		SVal	Val,
		const MemRegion *	Cont,
		const Stmt *	S,
		const LocationContext *	LCtx,
		unsigned	blockCount
	)