clang API Documentation
bindExpr(Environment Env, const EnvironmentEntry &E, SVal V, bool Invalidate) | clang::ento::EnvironmentManager | |
EnvironmentManager(llvm::BumpPtrAllocator &Allocator) | clang::ento::EnvironmentManager | [inline] |
getInitialEnvironment() | clang::ento::EnvironmentManager | [inline] |
removeDeadBindings(Environment Env, SymbolReaper &SymReaper, ProgramStateRef state) | clang::ento::EnvironmentManager | |
~EnvironmentManager() | clang::ento::EnvironmentManager | [inline] |