Module Private

Provides IR-specific definitions for use in the data flow library.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowImplSpecific

Imports