Module Make::Flow

Calculates a unary property using universal flow given a base case relation.

Import path

import codeql.typeflow.UniversalFlow

Predicates

Holds if all flow reaching n originates from nodes in hasPropertyBase. The property t is taken from one of those origins such that all other origins imply t.

Parameters

PropertySig