Hello everybody! I've learned about the projects in Google summer of code, and I'm so interested in the static analyzer pass. I wonder that where I can read the code of the static analyzer pass and how to contact with the mental David Malcolm. Can anyone help me please? Thank you so much. yilu@bupt.edu.cn