Merge pull request #1713 from markshannon/python-remove-parents

Python taint-tracking: Remove 'parents' query from path-queries.
This commit is contained in:
Rebecca Valentine
2019-08-08 10:01:40 -07:00
committed by GitHub
11 changed files with 0 additions and 51 deletions

View File

@@ -7,21 +7,3 @@ query predicate edges(TaintedNode fromnode, TaintedNode tonode) {
/* Don't record flow past sinks */
not fromnode.isSink()
}
private TaintedNode first_child(TaintedNode parent) {
result.getContext().getCaller() = parent.getContext() and
edges(parent, result)
}
private TaintedNode next_sibling(TaintedNode child) {
edges(child, result) and
child.getContext() = result.getContext()
}
query predicate parents(TaintedNode child, TaintedNode parent) {
child = first_child(parent) or
exists(TaintedNode prev |
parents(prev, parent) and
child = next_sibling(prev)
)
}