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