Tai-e

Tai-e ✨新闻 发布 v0.5.4： Tai-e 附带了一个新前端，能将 Java 程序更快、更可靠地转换为 Tai-e IR。 通过与指针分析集成的 PacDroid 驱动插件，支持 Android 应用分析。 通过 Spring 分析插件，支持 Spring DI 和 WEC 分析。 我们的论文《Two Approaches to Fast Bytecode Frontend for Static Analysis》已被 OOPSLA'25 录用。该论文介绍了 Tai-e 的字节码新前端，比现有前端更快、更可靠。 我们的论文《Pointer Analysis for...