symcall.hh File Reference

classes SymCallCache and SymCallCtx for function call optimization during the symbolic execution More...

#include "symheap.hh"

Go to the source code of this file.

Data Structures
class	SymCallCache
	persistent cache for results of fncs called during the symbolic execution More...
class	SymCallCtx
	function call context, which represents a cache entry of SymCallCache More...

Namespaces
namespace	CodeStorage
	object model that describes the analyzed code on the input

Detailed Description

classes SymCallCache and SymCallCtx for function call optimization during the symbolic execution

Definition in file symcall.hh.