Heuristic path pruning algorithm based on error handling pattern recognition in detecting vulnerabil
- 所属机构名称:中国科学院软件研究所
- 会议名称:2013 IEEE 37th Annual Computer Software and Applications Conference Workshops (COMPSACW)
- 时间:2013.7.26
- 成果类型:会议
- 相关项目:逻辑驱动的跨操作系统安全机制评价方法研究