CodeQL library for C/C++
codeql/cpp-all 0.4.4 (changelog, source)

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.RecursionPrevention



Provides classes and predicates for working with C/C++ code.