|国家科技期刊平台

首页|期刊导航|电子科技|基于契约的函数指针静态安全分析

基于契约的函数指针静态安全分析

马志宇

电子科技Issue(4)：63-65,74,4.

✕

电子科技Issue(4)：63-65,74,4.

基于契约的函数指针静态安全分析

A Contract-Based Safety Analysis for Function Pointers

马志宇¹

作者信息

1. 西安电子科技大学,软件工程研究所,陕西,西安,710071
折叠

摘要

关键词

契约/函数指针/安全分析/安全漏洞

分类

信息技术与安全科学

引用本文复制引用

马志宇..基于契约的函数指针静态安全分析[J].电子科技,2007,(4):63-65,74,4.

电子科技

ISSN：1007-7820

访问量0

|

下载量0

段落导航

相关论文

摘要
关键词
分类
引用文本