clang  6.0.0svn
Public Member Functions | Protected Member Functions | List of all members
clang::ento::RangedConstraintManager Class Referenceabstract

#include "/opt/doxygen-docs/src/llvm/tools/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.h"

Inheritance diagram for clang::ento::RangedConstraintManager:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::RangedConstraintManager:
Collaboration graph
[legend]

Public Member Functions

 RangedConstraintManager (SubEngine *SE, SValBuilder &SB)
 
 ~RangedConstraintManager () override
 
ProgramStateRef assumeSym (ProgramStateRef State, SymbolRef Sym, bool Assumption) override
 Given a symbolic expression that can be reasoned about, assume that it is true/false and generate the new program state. More...
 
ProgramStateRef assumeSymInclusiveRange (ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override
 Given a symbolic expression within the range [From, To], assume that it is true/false and generate the new program state. More...
 
ProgramStateRef assumeSymUnsupported (ProgramStateRef State, SymbolRef Sym, bool Assumption) override
 Given a symbolic expression that cannot be reasoned about, assume that it is zero/nonzero and add it directly to the solver state. More...
 
- Public Member Functions inherited from clang::ento::SimpleConstraintManager
 SimpleConstraintManager (SubEngine *subengine, SValBuilder &SB)
 
 ~SimpleConstraintManager () override
 
ProgramStateRef assume (ProgramStateRef State, DefinedSVal Cond, bool Assumption) override
 Ensures that the DefinedSVal conditional is expressed as a NonLoc by creating boolean casts to handle Loc's. More...
 
ProgramStateRef assumeInclusiveRange (ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override
 
- Public Member Functions inherited from clang::ento::ConstraintManager
 ConstraintManager ()
 
virtual ~ConstraintManager ()
 
ProgramStatePair assumeDual (ProgramStateRef State, DefinedSVal Cond)
 Returns a pair of states (StTrue, StFalse) where the given condition is assumed to be true or false, respectively. More...
 
virtual ProgramStatePair assumeInclusiveRangeDual (ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To)
 
virtual const llvm::APSInt * getSymVal (ProgramStateRef state, SymbolRef sym) const
 If a symbol is perfectly constrained to a constant, attempt to return the concrete value. More...
 
virtual ProgramStateRef removeDeadBindings (ProgramStateRef state, SymbolReaper &SymReaper)=0
 Scan all symbols referenced by the constraints. More...
 
virtual void print (ProgramStateRef state, raw_ostream &Out, const char *nl, const char *sep)=0
 
virtual void EndPath (ProgramStateRef state)
 
ConditionTruthVal isNull (ProgramStateRef State, SymbolRef Sym)
 Convenience method to query the state to see if a symbol is null or not null, or if neither assumption can be made. More...
 

Protected Member Functions

virtual ProgramStateRef assumeSymRel (ProgramStateRef State, SymbolRef Sym, BinaryOperator::Opcode op, const llvm::APSInt &Int)
 Assume a constraint between a symbolic expression and a concrete integer. More...
 
virtual ProgramStateRef assumeSymNE (ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0
 
virtual ProgramStateRef assumeSymEQ (ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0
 
virtual ProgramStateRef assumeSymLT (ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0
 
virtual ProgramStateRef assumeSymGT (ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0
 
virtual ProgramStateRef assumeSymLE (ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0
 
virtual ProgramStateRef assumeSymGE (ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0
 
virtual ProgramStateRef assumeSymWithinInclusiveRange (ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, const llvm::APSInt &Adjustment)=0
 
virtual ProgramStateRef assumeSymOutsideInclusiveRange (ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, const llvm::APSInt &Adjustment)=0
 
- Protected Member Functions inherited from clang::ento::SimpleConstraintManager
BasicValueFactorygetBasicVals () const
 
SymbolManagergetSymbolManager () const
 
- Protected Member Functions inherited from clang::ento::ConstraintManager
virtual bool canReasonAbout (SVal X) const =0
 canReasonAbout - Not all ConstraintManagers can accurately reason about all SVal values. More...
 
virtual ConditionTruthVal checkNull (ProgramStateRef State, SymbolRef Sym)
 Returns whether or not a symbol is known to be null ("true"), known to be non-null ("false"), or may be either ("underconstrained"). More...
 

Additional Inherited Members

- Public Types inherited from clang::ento::ConstraintManager
typedef std::pair< ProgramStateRef, ProgramStateRefProgramStatePair
 
- Protected Attributes inherited from clang::ento::ConstraintManager
bool NotifyAssumeClients
 A flag to indicate that clients should be notified of assumptions. More...
 

Detailed Description

Definition at line 24 of file RangedConstraintManager.h.

Constructor & Destructor Documentation

◆ RangedConstraintManager()

clang::ento::RangedConstraintManager::RangedConstraintManager ( SubEngine SE,
SValBuilder SB 
)
inline

◆ ~RangedConstraintManager()

clang::ento::RangedConstraintManager::~RangedConstraintManager ( )
override

Definition at line 22 of file RangedConstraintManager.cpp.

Referenced by RangedConstraintManager().

Member Function Documentation

◆ assumeSym()

ProgramStateRef clang::ento::RangedConstraintManager::assumeSym ( ProgramStateRef  State,
SymbolRef  Sym,
bool  Assumption 
)
overridevirtual

◆ assumeSymEQ()

virtual ProgramStateRef clang::ento::RangedConstraintManager::assumeSymEQ ( ProgramStateRef  State,
SymbolRef  Sym,
const llvm::APSInt &  V,
const llvm::APSInt &  Adjustment 
)
protectedpure virtual

◆ assumeSymGE()

virtual ProgramStateRef clang::ento::RangedConstraintManager::assumeSymGE ( ProgramStateRef  State,
SymbolRef  Sym,
const llvm::APSInt &  V,
const llvm::APSInt &  Adjustment 
)
protectedpure virtual

◆ assumeSymGT()

virtual ProgramStateRef clang::ento::RangedConstraintManager::assumeSymGT ( ProgramStateRef  State,
SymbolRef  Sym,
const llvm::APSInt &  V,
const llvm::APSInt &  Adjustment 
)
protectedpure virtual

◆ assumeSymInclusiveRange()

ProgramStateRef clang::ento::RangedConstraintManager::assumeSymInclusiveRange ( ProgramStateRef  State,
SymbolRef  Sym,
const llvm::APSInt &  From,
const llvm::APSInt &  To,
bool  InRange 
)
overridevirtual

Given a symbolic expression within the range [From, To], assume that it is true/false and generate the new program state.

This function is used to handle case ranges produced by a language extension for switch case statements.

Implements clang::ento::SimpleConstraintManager.

Definition at line 73 of file RangedConstraintManager.cpp.

References assumeSymOutsideInclusiveRange(), assumeSymWithinInclusiveRange(), clang::ento::APSIntType::convert(), clang::ento::BasicValueFactory::getAPSIntType(), clang::ento::SimpleConstraintManager::getBasicVals(), clang::ento::APSIntType::getBitWidth(), clang::ento::SymExpr::getType(), clang::ento::APSIntType::getZeroValue(), clang::ento::APSIntType::isUnsigned(), and max().

Referenced by RangedConstraintManager().

◆ assumeSymLE()

virtual ProgramStateRef clang::ento::RangedConstraintManager::assumeSymLE ( ProgramStateRef  State,
SymbolRef  Sym,
const llvm::APSInt &  V,
const llvm::APSInt &  Adjustment 
)
protectedpure virtual

◆ assumeSymLT()

virtual ProgramStateRef clang::ento::RangedConstraintManager::assumeSymLT ( ProgramStateRef  State,
SymbolRef  Sym,
const llvm::APSInt &  V,
const llvm::APSInt &  Adjustment 
)
protectedpure virtual

◆ assumeSymNE()

virtual ProgramStateRef clang::ento::RangedConstraintManager::assumeSymNE ( ProgramStateRef  State,
SymbolRef  Sym,
const llvm::APSInt &  V,
const llvm::APSInt &  Adjustment 
)
protectedpure virtual

◆ assumeSymOutsideInclusiveRange()

virtual ProgramStateRef clang::ento::RangedConstraintManager::assumeSymOutsideInclusiveRange ( ProgramStateRef  State,
SymbolRef  Sym,
const llvm::APSInt &  From,
const llvm::APSInt &  To,
const llvm::APSInt &  Adjustment 
)
protectedpure virtual

◆ assumeSymRel()

ProgramStateRef clang::ento::RangedConstraintManager::assumeSymRel ( ProgramStateRef  State,
SymbolRef  Sym,
BinaryOperator::Opcode  op,
const llvm::APSInt &  Int 
)
protectedvirtual

◆ assumeSymUnsupported()

ProgramStateRef clang::ento::RangedConstraintManager::assumeSymUnsupported ( ProgramStateRef  State,
SymbolRef  Sym,
bool  Assumption 
)
overridevirtual

Given a symbolic expression that cannot be reasoned about, assume that it is zero/nonzero and add it directly to the solver state.

Implements clang::ento::SimpleConstraintManager.

Definition at line 102 of file RangedConstraintManager.cpp.

References assumeSymEQ(), assumeSymNE(), clang::ento::SimpleConstraintManager::getBasicVals(), clang::ento::SymExpr::getType(), clang::Type::isIntegralOrEnumerationType(), and clang::T.

Referenced by assumeSym(), and RangedConstraintManager().

◆ assumeSymWithinInclusiveRange()

virtual ProgramStateRef clang::ento::RangedConstraintManager::assumeSymWithinInclusiveRange ( ProgramStateRef  State,
SymbolRef  Sym,
const llvm::APSInt &  From,
const llvm::APSInt &  To,
const llvm::APSInt &  Adjustment 
)
protectedpure virtual

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