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

#include <InstructionInfoTable.h>

Collaboration diagram for klee::InstructionInfoTable:

Classes

struct  ltstr
 

Public Member Functions

 InstructionInfoTable (llvm::Module *m)
 
 ~InstructionInfoTable ()
 
unsigned getMaxID () const
 
const InstructionInfogetInfo (const llvm::Instruction *) const
 
const InstructionInfogetFunctionInfo (const llvm::Function *) const
 

Private Member Functions

const std::string * internString (std::string s)
 
bool getInstructionDebugInfo (const llvm::Instruction *I, const std::string *&File, unsigned &Line)
 

Private Attributes

std::string dummyString
 
InstructionInfo dummyInfo
 
std::map< const
llvm::Instruction
*, InstructionInfo
infos
 
std::set< const std::string
*, ltstr
internedStrings
 

Detailed Description

Definition at line 44 of file InstructionInfoTable.h.

Constructor & Destructor Documentation

InstructionInfoTable::InstructionInfoTable ( llvm::Module *  m)

Definition at line 104 of file InstructionInfoTable.cpp.

References buildInstructionToLineMap(), dummyString, getInstructionDebugInfo(), and infos.

Here is the call graph for this function:

InstructionInfoTable::~InstructionInfoTable ( )

Definition at line 145 of file InstructionInfoTable.cpp.

References internedStrings.

Member Function Documentation

const InstructionInfo & InstructionInfoTable::getFunctionInfo ( const llvm::Function *  ) const

Definition at line 179 of file InstructionInfoTable.cpp.

References dummyInfo, and getInfo().

Referenced by klee::StatsTracker::computeReachableUncovered(), and klee::StatsTracker::writeIStats().

Here is the call graph for this function:

Here is the caller graph for this function:

const InstructionInfo & InstructionInfoTable::getInfo ( const llvm::Instruction *  ) const

Definition at line 168 of file InstructionInfoTable.cpp.

References dummyInfo, and infos.

Referenced by klee::StatsTracker::computeReachableUncovered(), getFunctionInfo(), klee::KModule::prepare(), and klee::StatsTracker::writeIStats().

Here is the caller graph for this function:

bool InstructionInfoTable::getInstructionDebugInfo ( const llvm::Instruction *  I,
const std::string *&  File,
unsigned &  Line 
)
private

Definition at line 91 of file InstructionInfoTable.cpp.

References getDSPIPath().

Referenced by InstructionInfoTable().

Here is the call graph for this function:

Here is the caller graph for this function:

unsigned InstructionInfoTable::getMaxID ( ) const

Definition at line 163 of file InstructionInfoTable.cpp.

References infos.

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

Here is the caller graph for this function:

const std::string * InstructionInfoTable::internString ( std::string  s)
private

Definition at line 152 of file InstructionInfoTable.cpp.

References internedStrings.

Member Data Documentation

InstructionInfo klee::InstructionInfoTable::dummyInfo
private

Definition at line 52 of file InstructionInfoTable.h.

Referenced by getFunctionInfo(), and getInfo().

std::string klee::InstructionInfoTable::dummyString
private

Definition at line 51 of file InstructionInfoTable.h.

Referenced by InstructionInfoTable().

std::map<const llvm::Instruction*, InstructionInfo> klee::InstructionInfoTable::infos
private

Definition at line 53 of file InstructionInfoTable.h.

Referenced by getInfo(), getMaxID(), and InstructionInfoTable().

std::set<const std::string *, ltstr> klee::InstructionInfoTable::internedStrings
private

Definition at line 54 of file InstructionInfoTable.h.

Referenced by internString(), and ~InstructionInfoTable().


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