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().