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