Program analysis for state and local governments