Skip to main content

integer_overflow_arith

vyre_libs::security::integer_overflow_arith

Function integer_overflow_arith 

Source 
pub fn integer_overflow_arith(
    node_count: u32,
    arith_set: &str,
    attacker_reach: &str,
    overflow_check_dominates: &str,
    intermediate: &str,
    out: &str,
) -> Program
Expand description

Build an overflow-check Program: arith_set AND attacker_reach lands in intermediate, then that set minus overflow_check_dominates lands in out.