symexec.hh File Reference

SymExec - top level algorithm of the symbolic execution. More...

Go to the source code of this file.

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

Functions
void	execute (SymState &results, const SymHeap &entry, const CodeStorage::Fnc &fnc)

Detailed Description

SymExec - top level algorithm of the symbolic execution.

Definition in file symexec.hh.

Function Documentation

void execute	(	SymState &	results,
		const SymHeap &	entry,
		const CodeStorage::Fnc &	fnc
	)