系统:Android 大小:72.4MB
版本:v1.28.7 更新:2026-09-11 13:28:33
S2E是一款基于LLVM与KLEE的开源符号执行引擎,支持多架构二进制分析,广泛应用于软件测试、漏洞挖掘与程序验证等领域,能够自动探索程序路径,高效发现深层缺陷。现提供最新版本下载,欢迎体验!