源代码漏洞分析、检测与验证技术研究

U1736110
2017
F0202.系统软件、数据库与工业软件
宫云战
联合基金项目
教授
北京邮电大学
67万元
缺陷模式;缺陷检测;内存模型;约束求解;路径可行性
2018-01-01到2020-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 一种代码检测方法及系统 专利 金大海;宫云战;王雅文
2 一种程序隐性约束提取方法及系统 专利 宫云战;王雅文;金大海
3 源代码分析 专著 宫云战
4 Nodes deployment optimization algorithm based on improved evidence theory of underwater wireless sensor networks 期刊论文 Song Xiaoli;Gong Yunzhan;Jin Dahai;Li Qiangyi
5 A Diversified Feature Extraction Approach for Program Similarity Analysis 会议论文 Wang Ying;Jin Dahai;Gong Yunzhan
6 Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns 期刊论文 Zhu Honglei;Jin Dahai;Gong Yunzhan;Xing Ying;Zhou Mingnan
7 Domain-RIP Analysis: A Technique for Analyzing Mutation Stubbornness 期刊论文 Lin Huan;Wang Yawen;Gong Yunzhan;Jin Dahai
8 Whole Program Paths Generation Method 会议论文 Jia Wei;Wang Yawen;Zhang Yuwei;Gong Yunzhan
9 A variable-level automated defect identification model based on machine learning 期刊论文 Zhang Yuwei;Xing Ying;Gong Yunzhan;Jin Dahai;Li Honghui;Liu Feng
10 Poster: Subsuming Mutation Operators 会议论文 Lin Huan;Wang Yawen;Gong Yunzhan
11 一种面向程序状态的故障分类方法、变异测试方法及系统 专利 王雅文;宫云战;金大海
12 A Model for Predicting Statement Mutation Scores 期刊论文 Tan Lili;Gong Yunzhan;Wang Yawen
13 Unit Test Data Generation for C Using Rule-Directed Symbolic Execution 期刊论文 Zhang Ming-Zhe;Gong Yun-Zhan;Wang Ya-Wen;Jin Da-Hai
14 Automated defect identification via path analysis-based features with transfer learning 期刊论文 zhangyuwei;jindahai;xingying;gongyunzhan
15 File Similarity Determination Based on Function Call Graph 会议论文 Zhang Jin;Jin Dahai;Gong Yunzhan
16 Inter-Procedural Diagnosis Path Generation for Automatic Confirmation of Program Suspected Faults 期刊论文 Zhu Honglei;Jin Dahai;Gong Yunzhan
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享