BoundsChecking.cpp File Reference

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

Go to the source code of this file.

Functions
static std::pair< NonLoc, nonloc::ConcreteInt >	getSimplifiedOffsets (NonLoc offset, nonloc::ConcreteInt extent, SValBuilder &svalBuilder)
static bool	isNegative (SValBuilder &SVB, ProgramStateRef State, NonLoc Value)
static bool	isUnsigned (SValBuilder &SVB, NonLoc Value)
static std::pair< ProgramStateRef, ProgramStateRef >	compareValueToThreshold (ProgramStateRef State, NonLoc Value, NonLoc Threshold, SValBuilder &SVB, bool CheckEquality=false)

Function Documentation

compareValueToThreshold()

std::pair< ProgramStateRef, ProgramStateRef > compareValueToThreshold ( ProgramStateRef State, NonLoc Value, NonLoc Threshold, SValBuilder & SVB, bool CheckEquality = false )

static

Definition at line 87 of file BoundsChecking.cpp.

References clang::ento::SValBuilder::evalBinOpNN(), clang::ento::SVal::getAs(), clang::ento::SValBuilder::getConditionType(), getSimplifiedOffsets(), isNegative(), and isUnsigned().

Referenced by clang::ento::bounds::checkBounds().

getSimplifiedOffsets()

std::pair< NonLoc, nonloc::ConcreteInt > getSimplifiedOffsets ( NonLoc offset, nonloc::ConcreteInt extent, SValBuilder & svalBuilder )

static

Definition at line 39 of file BoundsChecking.cpp.

References clang::ento::APSIntType::convert(), clang::ento::SVal::getAs(), getSimplifiedOffsets(), clang::ento::nonloc::ConcreteInt::getValue(), and clang::ento::SValBuilder::makeIntVal().

Referenced by compareValueToThreshold(), and getSimplifiedOffsets().

isNegative()

bool isNegative ( SValBuilder & SVB, ProgramStateRef State, NonLoc Value )

static

Definition at line 69 of file BoundsChecking.cpp.

References clang::ento::SValBuilder::getMaxValue().

Referenced by compareValueToThreshold().

isUnsigned()

bool isUnsigned ( SValBuilder & SVB, NonLoc Value )

static

Definition at line 74 of file BoundsChecking.cpp.

References clang::ento::SValBuilder::getContext(), clang::Value::getType(), and clang::T.

Referenced by CheckC23ConstexprInitStringLiteral(), compareValueToThreshold(), cir::direct::convertToIndexTy(), clang::CIRGen::CIRGenFunction::emitAArch64BuiltinExpr(), emitCommonNeonBuiltinExpr(), clang::CIRGen::CIRGenBuilderTy::getConstInt(), clang::ento::BasicValueFactory::getIntValue(), cir::direct::getLLVMIntCast(), clang::ento::BasicValueFactory::getValue(), clang::DependentBitIntType::isSigned(), clang::ento::SValBuilder::makeIntVal(), clang::ento::SValBuilder::makeIntVal(), clang::ASTContext::mergeTypes(), clang::BitIntType::Profile(), clang::DependentBitIntType::Profile(), and clang::serialization::DataStreamBasicReader< Impl >::readAPSInt().