klee::CallPathNode Class Reference

#include <CallPathManager.h>

Collaboration diagram for klee::CallPathNode:

Public Types
typedef std::map< std::pair< const llvm::Instruction *, const llvm::Function * >, CallPathNode * >	children_ty

Public Member Functions
	CallPathNode (CallPathNode *parent, const llvm::Instruction *callSite, const llvm::Function *function)
void	print ()

Public Attributes
CallPathNode *	parent
const llvm::Instruction *	callSite
const llvm::Function *	function
children_ty	children
StatisticRecord	statistics
StatisticRecord	summaryStatistics
unsigned	count

Friends
class	CallPathManager

Detailed Description

Definition at line 39 of file CallPathManager.h.

Member Typedef Documentation

children_ty

typedef std::map< std::pair<const llvm::Instruction *, const llvm::Function *>, CallPathNode *> klee::CallPathNode::children_ty

Definition at line 46 of file CallPathManager.h.

Constructor & Destructor Documentation

CallPathNode()

CallPathNode::CallPathNode	(	CallPathNode *	parent,
		const llvm::Instruction *	callSite,
		const llvm::Function *	function
	)

Definition at line 24 of file CallPathManager.cpp.

Member Function Documentation

print()

void CallPathNode::print

(

)

Definition at line 29 of file CallPathManager.cpp.

References callSite, count, function, parent, and print().

Referenced by print().

Here is the call graph for this function:

Here is the caller graph for this function:

Friends And Related Function Documentation

CallPathManager

friend class CallPathManager

friend

Definition at line 40 of file CallPathManager.h.

Member Data Documentation

callSite

const llvm::Instruction* klee::CallPathNode::callSite

Definition at line 50 of file CallPathManager.h.

Referenced by print().

children

children_ty klee::CallPathNode::children

Definition at line 52 of file CallPathManager.h.

Referenced by klee::CallPathManager::getCallPath().

count

unsigned klee::CallPathNode::count

Definition at line 56 of file CallPathManager.h.

Referenced by klee::StatsTracker::framePushed(), and print().

function

const llvm::Function* klee::CallPathNode::function

Definition at line 51 of file CallPathManager.h.

Referenced by print().

parent

CallPathNode* klee::CallPathNode::parent

Definition at line 49 of file CallPathManager.h.

Referenced by klee::CallPathManager::computeCallPath(), and print().

statistics

StatisticRecord klee::CallPathNode::statistics

Definition at line 54 of file CallPathManager.h.

Referenced by klee::Executor::dumpStates(), klee::WeightedRandomSearcher::getWeight(), klee::Executor::maxStaticPctChecks(), and klee::StatsTracker::stepInstruction().

summaryStatistics

StatisticRecord klee::CallPathNode::summaryStatistics

Definition at line 55 of file CallPathManager.h.

---

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

• /Users/cristic/klee/lib/Core/CallPathManager.h
• /Users/cristic/klee/lib/Core/CallPathManager.cpp