Title: Report on the Third Static Analysis Tool Exposition (SATE 2010)