'Return unsigned saturated BV from signed BV.
Min and max value should be unsigned.'

def _op_generic_StoU_saturation(self, value, min_value, max_value):

    return claripy.If(claripy.SGT(value, max_value), max_value, claripy.If(claripy.SLT(value, min_value), min_value, value))
