

Note that sanitizers come with the risk of losing legitimate taint flows. sanitize_tito_b ( a, b : Sanitize, c ). # Same as before, but only for parameter 'b'ĭef module. # allow taint to reach sinks within the function via any ( TaintInTaintOut )ĭef module. # value, but allow taint sources to be returned from the function as well as # This will remove any taint which propagates through any argument to the return # taint from propagating from any argument to the return ( Parameters )ĭef module. # but allows taint which originates within the function to be returned. # This prevents any taint which passes through any parameter from entering the function, sanitize_parameter ( argument : Sanitize ). # the function, but allows taint which originates within the function to be returned.ĭef module. # This prevents any taint which passes through 'argument' from reaching a sink within sanitize_return ( argument ) - > Sanitize. # from propagating from any argument to the return value.ĭef module. # to be passed in to the function via 'argument'. # This will remove any taint returned by this function, but allow taint
