Proceedings of the 2007 workshop on Programming languages and analysis for security