Python: Fix taint handling of copy.deepcopy

(test results didn't change)

Thanks @yoff 👍
This commit is contained in:
Rasmus Wriedt Larsen
2020-09-01 11:50:46 +02:00
parent e5a361c230
commit ddc55a18cf

View File

@@ -196,7 +196,7 @@ predicate copyStep(DataFlow::CfgNode nodeFrom, DataFlow::CfgNode nodeTo) {
(
call.getFunction().(NameNode).getId() in ["copy", "deepcopy"]
or
call.getFunction().(AttrNode).getObject("copy").(NameNode).getId() in ["copy", "deepcopy"]
call.getFunction().(AttrNode).getObject(["copy", "deepcopy"]).(NameNode).getId() = "copy"
) and
call.getArg(0) = nodeFrom.getNode()
)