Inheritance diagram for SymbolicExprGraphBuilder:

Collaboration diagram for SymbolicExprGraphBuilder:

Public Member Functions
void	getAnalysisUsage (AnalysisUsage &) const

bool	runOnModule (Module &)

SymbolicExprGraph *	getOrCreateSymbolicExprGraph (Function *F)

SEGOperandNode *	getNode (Value *val)
	Return the SEG node of a value.

std::vector< std::pair< Value , SEGRegionNode > >	loadPtrAt (Value Ptr, pp_offset_t Off, Instruction Loc)
	Query interface for alias analysis result.

std::unordered_set< pp_offset_t >	getAllocStoredZeroOff (Value Alloc, Instruction Loc) const

std::set< Value * >	getEscapeAllocSites (Function *Func) const

Value *	getEscapeToAlloc (Function Func, Function Callee, Value CalleeObj, Instruction CS) const

Public Member Functions inherited from SEGMapBase
SymbolicExprGraph *	getSymbolicExprGraph (const Function *F) const

bool	hasSEG (const Function *F) const

bool	isFuncBuildable (const Function *F) const
	Check the function is suitable for SEGBuilder.

value_iterator< std::unordered_map< const Function , SymbolicExprGraph >::iterator >	begin ()
	@iterating_object_class SymbolicExprGraph *

value_iterator< std::unordered_map< const Function , SymbolicExprGraph >::iterator >	end ()
	@iterating_object_class SymbolicExprGraph *

Additional Inherited Members
Protected Attributes inherited from SEGMapBase
std::unordered_map< const Function , SymbolicExprGraph >	SEGMap
	SEG vector of functions.

ExternalMemorySpec *	MEM_SPEC = nullptr

CBCallGraphWrapper *	CGWrapper = nullptr

Member Function Documentation

◆ getOrCreateSymbolicExprGraph()

SymbolicExprGraph * SymbolicExprGraphBuilder::getOrCreateSymbolicExprGraph ( Function * F )

This function queries the SEG for a function F. It is supposed to be thread-safe.

Here is the call graph for this function:

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