Files
codeql/python/ql/lib
Taus 205466d7ab Python: Model undefinedness
Adds `maybeUndefined` to the reachability module, modelling which
names/variables may be undefined at runtime. The approach is very close
to the one used in points-to, though it of course relies on our new
modelling of exceptions/reachability instead.
2026-04-08 15:58:39 +00:00
..
2026-02-16 13:48:32 +00:00
2026-04-08 15:58:39 +00:00
2026-01-20 11:56:16 +00:00
2024-04-16 16:29:56 +02:00
2022-10-13 11:21:10 -04:00