Predicate Input::decodeUnknownParameterPosition
Gets a parameter position corresponding to the unknown token token
.
The token is unknown because it could not be reverse-encoded using the
encodeParameterPosition
predicate. This is useful for example when a
single token gives rise to multiple parameter positions, such as ranges
0..n
.
Import path
import semmle.python.dataflow.new.internal.FlowSummaryImpl