klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::CallPathManager Class Reference

#include <CallPathManager.h>

Collaboration diagram for klee::CallPathManager:

Public Member Functions

 CallPathManager ()
 
 ~CallPathManager ()
 
void getSummaryStatistics (CallSiteSummaryTable &result)
 
CallPathNodegetCallPath (CallPathNode *parent, llvm::Instruction *callSite, llvm::Function *f)
 

Private Member Functions

CallPathNodecomputeCallPath (CallPathNode *parent, llvm::Instruction *callSite, llvm::Function *f)
 

Private Attributes

CallPathNode root
 
std::vector< CallPathNode * > paths
 

Detailed Description

Definition at line 62 of file CallPathManager.h.

Constructor & Destructor Documentation

CallPathManager::CallPathManager ( )

Definition at line 51 of file CallPathManager.cpp.

CallPathManager::~CallPathManager ( )

Definition at line 54 of file CallPathManager.cpp.

References paths.

Member Function Documentation

CallPathNode * CallPathManager::computeCallPath ( CallPathNode parent,
llvm::Instruction *  callSite,
llvm::Function *  f 
)
private

Definition at line 80 of file CallPathManager.cpp.

References klee::CallPathNode::parent, and paths.

Referenced by getCallPath().

Here is the caller graph for this function:

CallPathNode * CallPathManager::getCallPath ( CallPathNode parent,
llvm::Instruction *  callSite,
llvm::Function *  f 
)

Definition at line 92 of file CallPathManager.cpp.

References klee::CallPathNode::children, computeCallPath(), and root.

Referenced by klee::StatsTracker::framePushed().

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

std::vector<CallPathNode*> klee::CallPathManager::paths
private

Definition at line 64 of file CallPathManager.h.

Referenced by computeCallPath(), getSummaryStatistics(), and ~CallPathManager().

CallPathNode klee::CallPathManager::root
private

Definition at line 63 of file CallPathManager.h.

Referenced by getCallPath().


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