diff --git a/ql/lib/semmle/go/dataflow/internal/TaintTrackingUtil.qll b/ql/lib/semmle/go/dataflow/internal/TaintTrackingUtil.qll index 9be6c4b8722..081228ea782 100644 --- a/ql/lib/semmle/go/dataflow/internal/TaintTrackingUtil.qll +++ b/ql/lib/semmle/go/dataflow/internal/TaintTrackingUtil.qll @@ -50,8 +50,7 @@ predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::Content c) { container instanceof ArrayType and c instanceof DataFlow::ArrayContent or - container instanceof PointerType and - c instanceof DataFlow::PointerContent + c.(DataFlow::PointerContent).getPointerType() = container or container instanceof MapType and c instanceof DataFlow::MapValueContent