1周前 · ai [论文] LLMs 能恢复程序语义吗？使用 Symbolic Execution 的系统性评估 Obfuscation 对于软件工程任务（如程序理解、维护、测试和漏洞检测）构成了持续的挑战。While …
