symexec.hh File Reference

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

#include <string>

Go to the source code of this file.

Data Structures
struct	SymExecParams

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, const SymExecParams &ep)

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,
		const SymExecParams &	ep
	)