From f7ed65692fa6b742efaea285ceb63f3827514bb8 Mon Sep 17 00:00:00 2001 From: Max Schaefer Date: Mon, 29 Jun 2020 11:02:35 +0100 Subject: [PATCH] Data flow: Use `accessPathLimit()` in partial flow as well. cf. https://github.com/github/codeql/pull/3494 --- ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll b/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll index 9a7dc9dc1e3..1aeedf717f7 100644 --- a/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll +++ b/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll @@ -2564,7 +2564,7 @@ private module FlowExploration { private newtype TPartialAccessPath = TPartialNil(DataFlowType t) or - TPartialCons(TypedContent tc, int len) { len in [1 .. 5] } + TPartialCons(TypedContent tc, int len) { len in [1 .. accessPathLimit()] } /** * Conceptually a list of `TypedContent`s followed by a `Type`, but only the first