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