Title: Static Analysis Tool Exposition (SATE) 2008