Python: Hide ModuleVariableNode in data-flow paths

They just add an extra step, and don't actually contribute any good
information for end-users.
This commit is contained in:
Rasmus Wriedt Larsen
2023-04-26 16:04:16 +02:00
parent 0c4bcec39e
commit d274fa16a1

View File

@@ -928,6 +928,8 @@ predicate forceHighPrecision(Content c) { none() }
/** Holds if `n` should be hidden from path explanations. */
predicate nodeIsHidden(Node n) {
n instanceof ModuleVariableNode
or
n instanceof SummaryNode
or
n instanceof SummaryParameterNode