软件属性保障中的源代码静态分析技术研究

软件属性保障中的源代码静态分析技术研究

出版社：中国科学院

出版年：2009

作者：孟策

资源类型：图书

细分类型：中文文献,学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

基于静态分析的Android软件漏洞挖掘与利用技术研究

作者：方喆君
出版年：2015

基于深度学习的软件源代码漏洞静态检测方法研究

作者：孙昊
出版社：中国科学院信息工程研究所
出版年：2024

基于源代码静态分析的内存安全漏洞检测

作者：高语晗
出版社：中国科学院信息工程研究所
出版年：2019

XSM的静态分析和验证技术研究

作者：邓程
出版社：中国科学院
出版年：2012

安全编程 :代码静态分析

作者：Chess
ISBN：9787111233213
出版社：机械工业出版社
出版年：2008

汇编代码到LLVM中间表示的静态转换技术研究

作者：于丁
出版社：中国科学院计算技术研究所
出版年：2022