We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 552637a commit bf3a266Copy full SHA for bf3a266
python/ql/test/experimental/dataflow/regression/test.py
@@ -212,22 +212,3 @@ def flow_in_generator():
212
def flow_from_generator():
213
for x in flow_in_generator():
214
SINK(x) # Flow not found
215
-
216
-def const_eq_clears_taint():
217
- tainted = SOURCE
218
- if tainted == "safe":
219
- SINK(tainted) # safe # FP
220
- SINK(tainted) # unsafe
221
222
-def const_eq_clears_taint2():
223
224
- if tainted != "safe":
225
- return
226
227
228
-def non_const_eq_preserves_taint(x):
229
230
- if tainted == tainted:
231
232
- if tainted == x:
233
0 commit comments