Function haybale::symex_function
source · pub fn symex_function<'p, B: Backend>(
funcname: &str,
project: &'p Project,
config: Config<'p, B>,
params: Option<Vec<ParameterVal>>
) -> Result<ExecutionManager<'p, B>>
Expand description
Begin symbolic execution of the function named funcname
, obtaining an
ExecutionManager
.
project
: The Project
(set of LLVM modules) in which symbolic execution
should take place. In the absence of function hooks (see
Config
), we will try to enter calls to any functions
defined in the Project
.
params
: a ParameterVal
for each parameter to the function, indicating
what the initial value of that parameter should be, or if the parameter
should be unconstrained (so that the analysis considers all possible values
for the parameter).
None
here is equivalent to supplying a Vec
with all
ParameterVal::Unconstrained
entries.