|
DynamicTypeInfo | clang::ento::getDynamicTypeInfo (ProgramStateRef State, const MemRegion *MR) |
| Get dynamic type information for the region MR . More...
|
|
const DynamicTypeInfo * | clang::ento::getRawDynamicTypeInfo (ProgramStateRef State, const MemRegion *MR) |
| Get raw dynamic type information for the region MR . More...
|
|
const DynamicCastInfo * | clang::ento::getDynamicCastInfo (ProgramStateRef State, const MemRegion *MR, QualType CastFromTy, QualType CastToTy) |
| Get dynamic cast information from CastFromTy to CastToTy of MR . More...
|
|
ProgramStateRef | clang::ento::setDynamicTypeInfo (ProgramStateRef State, const MemRegion *MR, DynamicTypeInfo NewTy) |
| Set dynamic type information of the region; return the new state. More...
|
|
ProgramStateRef | clang::ento::setDynamicTypeInfo (ProgramStateRef State, const MemRegion *MR, QualType NewTy, bool CanBeSubClassed=true) |
| Set dynamic type information of the region; return the new state. More...
|
|
ProgramStateRef | clang::ento::setDynamicTypeAndCastInfo (ProgramStateRef State, const MemRegion *MR, QualType CastFromTy, QualType CastToTy, bool IsCastSucceeds) |
| Set dynamic type and cast information of the region; return the new state. More...
|
|
ProgramStateRef | clang::ento::removeDeadTypes (ProgramStateRef State, SymbolReaper &SR) |
| Removes the dead type informations from State . More...
|
|
ProgramStateRef | clang::ento::removeDeadCasts (ProgramStateRef State, SymbolReaper &SR) |
| Removes the dead cast informations from State . More...
|
|
void | clang::ento::printDynamicTypeInfoJson (raw_ostream &Out, ProgramStateRef State, const char *NL="\, unsigned int Space=0, bool IsDot=false) |
|