1
SAIL: Sound Abstract Interpreters with LLMs
用大模型驱动可靠的抽象解释，SAIL方法让静态分析兼顾精度与效率
arXiv:2511.13663v2 Announce Type: replace-cross Abstract: How to construct globally sound abstract interpreters to safely approximate program behavior…
用大模型驱动可靠的抽象解释，SAIL方法让静态分析兼顾精度与效率
arXiv:2511.13663v2 Announce Type: replace-cross Abstract: How to construct globally sound abstract interpreters to safely approximate program behavior…