A Large-scale Study of User Interactions Offered by Static Analysis Tools