Class Make :: UncertainWriteDefinition
An SSA definition that represents an uncertain update of the underlying source variable.
Import path
import codeql.ssa.Ssa
Direct supertypes
Indirect supertypes
Inherited predicates
definesAt |
Holds if this SSA definition defines |
from Definition |
getBasicBlock |
Gets the basic block to which this SSA definition belongs. |
from Definition |
getSourceVariable |
Gets the source variable underlying this SSA definition. |
from Definition |
toString |
Gets a textual representation of this SSA definition. |
from Definition |