mirror of
https://github.com/github/codeql.git
synced 2026-05-14 19:29:28 +02:00
39049e3fcc
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.