Module Make :: Consistency
Provides a set of consistency queries.
Import path
import codeql.ssa.Ssa
Predicates
deadDef |
Holds if a definition cannot reach a read. |
deadDefExt |
Holds if a definition cannot reach a read. |
nonUniqueDef |
Holds if a read can be reached from multiple definitions. |
nonUniqueDefExt |
Holds if a read can be reached from multiple definitions. |
notDominatedByDef |
Holds if a read is not dominated by a definition. |
notDominatedByDefExt |
Holds if a read is not dominated by a definition. |
readWithoutDef |
Holds if a read cannot be reached from a definition. |
readWithoutDefExt |
Holds if a read cannot be reached from a definition. |
Classes
RelevantDefinition |
A definition that is relevant for the consistency queries. |
RelevantDefinitionExt |
A definition that is relevant for the consistency queries. |