klee
klee::CallPathManager Class Reference

#include <CallPathManager.h>

Collaboration diagram for klee::CallPathManager:

Public Member Functions

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

Private Member Functions

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

Private Attributes

CallPathNode root
 
std::vector< std::unique_ptr< CallPathNode > > paths
 

Detailed Description

Definition at line 65 of file CallPathManager.h.

Constructor & Destructor Documentation

◆ CallPathManager()

CallPathManager::CallPathManager ( )

Definition at line 42 of file CallPathManager.cpp.

◆ ~CallPathManager()

klee::CallPathManager::~CallPathManager ( )
default

Member Function Documentation

◆ computeCallPath()

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

Definition at line 61 of file CallPathManager.cpp.

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

Referenced by getCallPath().

Here is the caller graph for this function:

◆ getCallPath()

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

Definition at line 74 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:

◆ getSummaryStatistics()

void CallPathManager::getSummaryStatistics ( CallSiteSummaryTable result)

Definition at line 44 of file CallPathManager.cpp.

References klee::CallSiteInfo::count, paths, and klee::CallSiteInfo::statistics.

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

Here is the caller graph for this function:

Member Data Documentation

◆ paths

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

Definition at line 67 of file CallPathManager.h.

Referenced by computeCallPath(), and getSummaryStatistics().

◆ root

CallPathNode klee::CallPathManager::root
private

Definition at line 66 of file CallPathManager.h.

Referenced by getCallPath().


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