International Static Analysis Symposium (7th 2000 Santa Barbara, Calif.)