JCSmartScan：用 LLM 增强模糊测试检测 Java Card 小程序时序侧信道

xhanulik 开源了 JCSmartFuzz，一个检测 Java Card 小程序时序侧信道的 LLM 增强模糊测试框架。它将 AFL++（经 Kelinci）与 diffuzz 差分模糊测试结合 LLM 辅助的代码提取和种子生成，通过测量同一密码学操作对两组输入的指令数差异，发现依赖数据的执行路径以定位时序泄露。流水线分 analyze → harness → seeds → eval → profile 五个阶段，配置经 llm_config.py 按环境变量、llm_config.ini、默认值依次解析，LLM 阶段支持 --mock 离线运行。