Proceedings of the 2008 workshop on Static analysis