📚 分析研究技术资料

📦 资源总数:263
💻 源代码:29

🔥 分析研究热门资料

查看全部263个资源 »

软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上,将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中,给出了一种基于自动机理论的检测软件...

👤 canderile ⬇️ 4 次下载

💻 分析研究源代码

查看更多 »
📂 分析研究资料分类