Static Analysis: Second International Symposium, SAS '95 Glasgow, UK