SymCallCache Class Reference

persistent cache for results of fncs called during the symbolic execution More...

#include <symcall.hh>

Public Member Functions
	SymCallCache (TStorRef stor)
	create long term cache, this should happen once per SymExec lifetime
	~SymCallCache ()
SymBackTrace &	bt ()
SymCallCtx *	getCallCtx (SymHeap heap, const CodeStorage::Fnc &fnc, const CodeStorage::Insn &insn)
	cache entry point.

Private Member Functions
	SymCallCache (const SymCallCache &)
	object copying is not allowed
SymCallCache &	operator= (const SymCallCache &)
	object copying is not allowed

Private Attributes
Private *	d

Friends
class	SymCallCtx

Detailed Description

persistent cache for results of fncs called during the symbolic execution

Definition at line 41 of file symcall.hh.

Constructor & Destructor Documentation

SymCallCache

(

TStorRef

stor

)

create long term cache, this should happen once per SymExec lifetime

~SymCallCache

(

)

SymCallCache ( const SymCallCache &  )

private

object copying is not allowed

Member Function Documentation

SymBackTrace& bt

(

)

SymCallCtx* getCallCtx	(	SymHeap	heap,
		const CodeStorage::Fnc &	fnc,
		const CodeStorage::Insn &	insn
	)

cache entry point.

This returns either existing, or a newly created call context.

Parameters

heap	a symbolic heap valid for call entry
fnc	a function which is about to be called
insn	a call instruction which is about to be executed

Note

parameters fnc and insn have to match with each other!

Returns

an instance of the corresponding SymCallCtx object, zero if an unrecoverable error occurs

SymCallCache& operator= ( const SymCallCache &  )

private

object copying is not allowed

Friends And Related Function Documentation

friend class SymCallCtx

friend

Definition at line 75 of file symcall.hh.

Field Documentation

Private* d

private

Definition at line 72 of file symcall.hh.

---

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

• symcall.hh