Python: Remove usage of .getASuccessor() in XSLT.qll

This commit is contained in:
Rasmus Wriedt Larsen
2020-06-25 12:06:52 +02:00
parent 1e5eeb8009
commit 22ad8f717f

View File

@@ -41,12 +41,7 @@ module XSLTInjection {
}
private predicate etreeXML(ControlFlowNode fromnode, CallNode tonode) {
exists(CallNode call, AttrNode atr |
atr = etree().getAReference().getASuccessor() and
// XML(text, parser=None, base_url=None)
atr.getName() = "XML" and
atr = call.getFunction()
|
exists(CallNode call | call.getFunction().(AttrNode).getObject("XML").pointsTo(etree()) |
call.getArg(0) = fromnode and
call = tonode
)