2021-10-12 阅读(217)

软件代码安全加固框架。嵌入式软件的自动安全加固和代码补充过程可分为以下五个阶段： 1)利用LLVM、ANT-LR等软件源代码解析工具，提取源代码的中间表示包括抽象语法树和。 函数调...

2021-10-12 阅读(225)

借助现有的软件代码安全检测技术，分析了设备嵌入式软件的漏洞行为和结构，形成了设备嵌入式软件的漏洞特征和系统不安全行为属性规范。通过软件属性规范的逻辑计算，形成了软...