Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis