The starlark static analysis has a number of missing pieces that need implementation before being useful. - [ ] loop handling: iterate analysis until a fixed-point is found - [ ] data structures need to be tracked, not just scalar bindings - [ ] syntax forms are not all handled by the control flow builder - [ ] environments need to support lexical scopes - [ ] inner functions are not handled
The starlark static analysis has a number of missing pieces that need implementation before being useful.