Static Analysis 11th International Symposium Sas 2004 Verona Italy August | Desertcart GERMANY