Function haybale_pitchfork::hooks::propagate_taint [−][src]
pub fn propagate_taint(
state: &mut State<'_, Backend>,
call: &dyn IsCall
) -> Result<ReturnValue<BV>>
Expand description
This hook will return a secret value if any of the arguments are secret, or if any of the arguments contain a pointer to any secret data. Otherwise, it will return an unconstrained public value.
Assumes that opaque struct types do not contain secret data or pointers to secret data.