Class Gvn
A global value number (GVN) for a control flow element.
GVNs are used to map control flow elements to a representation that omits location information, that is, two elements that are structurally equal will be mapped to the same GVN.
Import path
import semmle.code.csharp.commons.StructuralComparisonDirect supertypes
Known direct subtypes
Predicates
| toString | Gets the string representation of this global value number. |