Go To Static Analysis User Study