qtil
advanced-security/qtil-csharp 0.0.3
Search

Module StructuralComparison

Provides functionality for performing structural comparison of expressions and statements.

Import path

import semmle.code.csharp.commons.StructuralComparison

Imports

csharp

The default C# QL library.

Predicates

sameGvn

Holds if the control flow elements x and y are structurally equal.

Classes

Gvn

A global value number (GVN) for a control flow element.

Aliases

toGvn

Gets the global value number of the element cfe.