Proceedings of the 10th international conference on Static analysis