SAS 2000 Static Analysis Symposium 2000