阅读了一篇关于静态分析的新论文，对于指针分析的精度提升有了新的想法。