CodeQL library for Java/Kotlin
codeql/java-all 5.0.1-dev (changelog, source)
Search

Module Make::Flow

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

Import path

import codeql.typeflow.UniversalFlow

Predicates

hasProperty

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