International Static Analysis Symposium (8th 2001 Paris, France)