Module RecursionPrevention
DEPRECATED: Recursion through DataFlow::Configuration is impossible in
any supported tooling. There is no need for this module because it’s
impossible to accidentally depend on recursion through
DataFlow::Configuration in current releases.
When this module is imported, recursive use of DataFlow::Configuration is
disallowed. Importing this module will guarantee the absence of such
recursion, which is unsupported and will be unconditionally disallowed in a
future release.
Recursive use of DataFlow{2..4}::Configuration is always disallowed, so no
import is needed for those.
Import path
import semmle.code.cpp.dataflow.RecursionPreventionImports
| cpp | Provides classes and predicates for working with C/C++ code. |