Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
通过LLM辅助符号执行寻找TEE中的缺失输入验证
专题命中 其他LLM :LLM(title,title_cn);large language model(abstract);language model(abstract);foundation model(comments)
AI总结 本文提出SymTEE,一种利用LLM辅助符号执行检测TEE应用中缺失输入验证问题的框架,通过AST分析提取可能缺乏充分输入验证的代码片段,并利用LLM生成轻量级mock环境进行符号分析,实验表明其在检测漏洞方面具有高精度和召回率。
Comments Accepted by 2026 IEEE/ACM Third International Conference on AI Foundation Models and Software Engineering (FORGE '26)