def sanitize_all_parameters_no_rce(x):
if 1 > 2:
_sql(x)
elif 2 > 3:
_rce(x)
else:
return x
def sanitize_parameter_no_user_controlled(x, y):
if 1 > 2:
return x
elif 2 > 3:
return y
elif 3 > 4:
_sql(x)
else:
_rce(y)
def no_propagation_of_sql_with_sanitize_all_parameters_no_cookies_sql_tito(x):
y = sanitize_all_parameters_no_cookies_sql_tito(x)
_sql(y)
def no_issue_propagation_of_sanitize_sql_tito_in_source_trace():
x = propagation_of_sanitize_sql_tito_in_source_trace()
_sql(x)
def propagation_of_sanitize_user_controlled_tito_in_sink_trace(x):
y = sanitize_all_parameters_no_user_controlled_tito(x)
_sql(y)
def issue_propagation_of_sanitize_return_no_rce():
x = propagation_of_sanitize_return_no_rce()
_sql(x)
def no_issue_propagation_of_sanitize_return_no_sql_in_source_trace():
x = propagation_of_sanitize_return_no_sql_in_source_trace()
_sql(x)
def no_propagation_with_sanitize_parameter_no_sql_tito(x):
y = sanitize_parameter_no_sql_tito(x, 0)
_sql(y)
