Collective program analysis