clang::ento::EnvironmentManager Class Reference

#include <Environment.h>

List of all members.

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	removeDeadBindings (Environment Env, SymbolReaper &SymReaper, ProgramStateRef state)

---

Detailed Description

Definition at line 102 of file Environment.h.

---

Constructor & Destructor Documentation

clang::ento::EnvironmentManager::EnvironmentManager

(

llvm::BumpPtrAllocator &

Allocator

)

[inline]

Definition at line 108 of file Environment.h.

clang::ento::EnvironmentManager::~EnvironmentManager

(

)

[inline]

Definition at line 109 of file Environment.h.

---

Member Function Documentation

Environment EnvironmentManager::bindExpr	(	Environment	Env,
		const EnvironmentEntry &	E,
		SVal	V,
		bool	Invalidate
	)

Bind a symbolic value to the given environment entry.

Definition at line 109 of file Environment.cpp.

References clang::ento::SVal::isUnknown().

Referenced by clang::ento::ProgramState::BindExpr().

Environment clang::ento::EnvironmentManager::getInitialEnvironment

(

)

[inline]

Definition at line 111 of file Environment.h.

Referenced by clang::ento::ProgramStateManager::getInitialState(), and removeDeadBindings().

Environment EnvironmentManager::removeDeadBindings	(	Environment	Env,
		SymbolReaper &	SymReaper,
		ProgramStateRef	state
	)

Definition at line 146 of file Environment.cpp.

References clang::ento::Environment::begin(), clang::ento::Environment::end(), clang::ento::SVal::getAs(), getInitialEnvironment(), clang::ento::EnvironmentEntry::getLocationContext(), clang::ento::EnvironmentEntry::getStmt(), clang::ento::SymbolReaper::isLive(), clang::ento::SymbolReaper::markLive(), clang::ento::SymbolReaper::maybeDead(), clang::ento::ScanReachableSymbols::scan(), clang::ento::SVal::symbol_begin(), and clang::ento::SVal::symbol_end().

Referenced by clang::ento::ProgramStateManager::removeDeadBindings().

---

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

• Environment.h
• Environment.cpp