Fix compilation of DataFlowImplConsistency.qll

This commit is contained in:
Owen Mansel-Chan
2025-07-15 13:51:45 +01:00
parent 16e9e8e836
commit 9661ee407f

View File

@@ -4,11 +4,11 @@
*/
private import go
private import DataFlowImplSpecific
private import DataFlowImplSpecific as Impl
private import TaintTrackingImplSpecific
private import codeql.dataflow.internal.DataFlowImplConsistency
private import semmle.go.dataflow.internal.DataFlowNodes
private module Input implements InputSig<Location, GoDataFlow> { }
private module Input implements InputSig<Location, Impl::GoDataFlow> { }
module Consistency = MakeConsistency<Location, GoDataFlow, GoTaintTracking, Input>;
module Consistency = MakeConsistency<Location, Impl::GoDataFlow, GoTaintTracking, Input>;