Predator  [unstable] git snapshot
Namespaces | Functions
symexec.hh File Reference

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

Go to the source code of this file.

Namespaces

 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 
)