CodeQL library for C/C++
Search

Module GlobalValueNumbering

Import path

import semmle.code.cpp.valuenumbering.GlobalValueNumbering

Imports

ASTValueNumbering

Provides an implementation of Global Value Numbering. See https://en.wikipedia.org/wiki/Global_value_numbering