主要是想蹲大佬交流一下哈哈哈1、编译流程中生成ast后到ir前这个阶段做了什么    type check2、LSP协议 3、soundless over under（may must）5、除了ifds还有什么分析的框架：map-reduce策略6、soot的主流ir jimple为什么不做成ssa7、为什么java不做流敏感：8、des和ssa，密集和稀疏9、指针分析10、控制流为什么要基于ir，不基于ast11、做ir有一个问题：最好带有告警信息，否则无法和代码代码关联，这块ast更好，那为什么还是根据ir12、soot的许可证13、soot主要工作什么步骤14、soot怎么处理残缺情况，如编译完整度不够，信息缺失，（import找不到的情况：幽灵类phantom15、java的分析工具还有啥：wala，codeql16、莱斯定理17、P和NP18、有无程序分析挖漏洞经验19、java里面常见的漏洞有啥：反序列化、sql注入20、符号执行，有什么工具（angr，klee）21、为什么指针分析对java特别重要