clang API Documentation
#include <Environment.h>
Public Member Functions | |
| EnvironmentManager (llvm::BumpPtrAllocator &Allocator) | |
| ~EnvironmentManager () | |
| Environment | getInitialEnvironment () |
| Environment | bindExpr (Environment Env, const EnvironmentEntry &E, SVal V, bool Invalidate) |
| Bind a symbolic value to the given environment entry. | |
| Environment | bindExprAndLocation (Environment Env, const EnvironmentEntry &E, SVal location, SVal V) |
| Environment | removeDeadBindings (Environment Env, SymbolReaper &SymReaper, ProgramStateRef state) |
Definition at line 106 of file Environment.h.
| clang::ento::EnvironmentManager::EnvironmentManager | ( | llvm::BumpPtrAllocator & | Allocator | ) | [inline] |
Definition at line 112 of file Environment.h.
| clang::ento::EnvironmentManager::~EnvironmentManager | ( | ) | [inline] |
Definition at line 113 of file Environment.h.
| Environment EnvironmentManager::bindExpr | ( | Environment | Env, |
| const EnvironmentEntry & | E, | ||
| SVal | V, | ||
| bool | Invalidate | ||
| ) |
Bind a symbolic value to the given environment entry.
Definition at line 129 of file Environment.cpp.
References clang::ento::SVal::isUnknown().
Referenced by clang::ento::ProgramState::BindExpr().
| Environment clang::ento::EnvironmentManager::bindExprAndLocation | ( | Environment | Env, |
| const EnvironmentEntry & | E, | ||
| SVal | location, | ||
| SVal | V | ||
| ) |
Bind the location 'location' and value 'V' to the specified environment entry.
| Environment clang::ento::EnvironmentManager::getInitialEnvironment | ( | ) | [inline] |
Definition at line 115 of file Environment.h.
Referenced by clang::ento::ProgramStateManager::MarshalState(), and clang::ento::StoreManager::removeDeadBindings().
| Environment clang::ento::EnvironmentManager::removeDeadBindings | ( | Environment | Env, |
| SymbolReaper & | SymReaper, | ||
| ProgramStateRef | state | ||
| ) |