Python: Constrain execution paths for taint_at_depth

Thanks Taus!
This commit is contained in:
Rasmus Wriedt Larsen
2020-03-27 16:20:08 +01:00
parent 8aadb8bd06
commit d55acc38df

View File

@@ -964,6 +964,7 @@ private TaintKind taint_at_depth(SequenceKind parent_kind, int depth) {
result = parent_kind.getMember()
or
// recursive case
depth > 1 and
result = taint_at_depth(parent_kind.getMember(), depth-1)
)
}