Module Make::Consistency
Provides a set of consistency queries.
Import path
import codeql.ssa.SsaPredicates
| 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. |