基于约束语义不一致的嵌入式固件静态分析方法及装置

本发明公开一种基于约束语义不一致的嵌入式固件静态分析方法及装置，涉及嵌入式系统安全检测技术领域。所述方法包括：获取待分析固件中和WEB服务相关的前端文件、后端程序，并提取前端文件与后端程序的输入源；对于每一个输入源，分别提取前端文件在处理该输入源时的前端约束语义，以及后端程序在处理该输入源时的显式约束语义和安全约束语义；基于前端约束语义、显式约束语义和安全约束语义之间的语义一致性，得到该待分析固件的静态分析结果。本发明可以挖掘潜在的安全漏洞。