Dart language analysis: missing call attribution, parameter counts, write accesses, and multi‑variable type…

Dart language analysis: missing call attribution, parameter counts, write accesses, and multi‑variable type…: a task in LegoFlow-SWE (Harbor dataset). The Dart analysis support has several gaps that prevent correct function handling, assignment tracking, and type propagation.