[−][src]Function haybale_pitchfork::check_for_ct_violation_in_inputs
pub fn check_for_ct_violation_in_inputs<'p>(
funcname: &'p str,
project: &'p Project,
config: Config<'p, Backend>,
pitchfork_config: &PitchforkConfig
) -> ConstantTimeResultForFunction<'p>
Checks whether a function is "constant-time" in its inputs. That is, does the function ever make branching decisions, or perform address calculations, based on its inputs.
pitchfork_config
: see docs on PitchforkConfig
.
Other arguments are the same as for
haybale::symex_function()
.