Taus 6b64443c49 Python: Port cyclic import queries ...

The new CyclicImports.qll is a fairly straight port of Cyclic.qll, with
the main changes being:

- We now use Module instead of ModuleValue everywhere
- We use getModuleReference instead of pointsTo
- is_import_time was replaced with a use of `ImportTimeScope`

The predicate that changed the most is `stmt_imports`, which in the
original just did `s.getASubExpression().pointsTo(result)`. The new
version has three branches, one for each kind of import, and with
special handling of imports from within a submodule (which is not
something that should be flagged).

No test changes.

2026-03-09 17:22:07 +00:00

..

consistency-queries

Python: Fix consistency test failures

2026-01-30 12:50:25 +00:00

examples

Python: Fix example snippets

2025-11-26 12:30:30 +00:00

integration-tests/query-suite

python: Add query for prompt injection

2026-01-29 23:47:52 +01:00

lib

Python: Extend reachability analysis with common guards

2026-03-09 17:22:07 +00:00

src

Python: Port cyclic import queries

2026-03-09 17:22:07 +00:00

test

Python: Port ModuleImportsItself.ql

2026-03-09 17:22:06 +00:00