Program analysis for State and local governments · Study