Predicate UnstableCyclicImport::cycleAlert

This is the main alert definition.

The predicate is used to restrict the path construction predicate to just those paths that are relevant for the alerts we found.

predicate cycleAlert(Module mod, ImportDeclaration import_, Module importedModule, VarAccess access)