CodeQL library for C#
codeql/csharp-all 0.4.4 (changelog, source)
Search

Module DataFlow5

Import path

import semmle.code.csharp.dataflow.DataFlow5

Imports

DataFlowImpl5

Provides an implementation of global (interprocedural) data flow. This file re-exports the local (intraprocedural) data flow analysis from DataFlowImplSpecific::Public and adds a global analysis, mainly exposed through the Configuration class. This file exists in several identical copies, allowing queries to use multiple Configuration classes that depend on each other without introducing mutual recursion among those configurations.