CRYLOGGER是一款开源动态检测加密算法滥用工具，旨在解决开发者在调用加密API时可能出现的错误使用问题，如使用固定密钥或弱密码。该工具通过在程序运行时记录传递给加密API的参数，然后离线对照加密规则列表检查参数的合法性，从而发现滥用行为。研究者将CRYLOGGER与静态检测工具CryptoGuard进行了对比，发现两者互补，结合使用效果更佳。通过对Google Play商店下载的1780个热门Android应用进行动态分析，CRYLOGGER成功检测出大量加密滥用问题。研究者进一步对28个Android应用进行逆向工程，验证了CRYLOGGER标记的问题，并将最关键的漏洞披露给应用开发者并收集反馈。论文的主要贡献在于提出并实现了一种动态检测加密滥用的方法，补充了现有静态工具的不足，并在大规模真实应用上验证了有效性。

该论文提出了一种针对加壳识别工具（packer identification tools）的语义验证框架，旨在解决现有工具可能返回语义错误标签、导致解壳失败及下游分析不可靠的问题。核心思想是利用解壳器（unpackers）作为可执行语义契约：若工具预测为某加壳族，则对应的解壳器应能恢复出可分析的程序内容，从而自动生成测试预言（test oracle），无需人工标注真值。基于此，作者构建了一套系统化流程，用于检测、定位并修复11款开源加壳识别工具及6款VirusTotal专有工具的语义缺陷。大规模实证研究表明，语义错误普遍存在且反复出现，主要源于不完整的签名和不稳定的启发式逻辑。修复后，加壳识别覆盖率最高提升58.6%，下游恶意软件分类性能平均提升超过13.6%。该工作对构建可信的恶意软件分析流水线具有重要价值。