Static Analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings - Antoine Miné, David Schmidt ((Lecture Notes in Computer Science))