OVERFLOW

作品数:76被引量:102H指数:5
导出分析报告
相关作者:万志远刘迎春苌程朱国宾黄智敏更多>>
相关机构:浙江工业大学上海理工大学国网辽宁省电力有限公司信息通信分公司浙江大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家社会科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=Cybersecurityx
条 记 录,以下是1-2
视图:
排序:
ELAID:detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysis被引量:1
《Cybersecurity》2020年第1期248-266,共19页Lili Xu Mingjie Xu Feng Li Wei Huo 
This research was supported in part by the National Natural Science Foundation of China(Grant No.61802394,U1836209);Foundation of Science and Technology on Information Assurance Laboratory(No.KJ-17-110);National Key Research and Development Program of China(2016QY071405);Strategic Priority Research Program of the CAS(XDC02040100,XDC02030200,XDC02020200).
The Integer-Overflow-to-Buffer-Overflow(IO2BO)vulnerability has been widely exploited by attackers to cause severe damages to computer systems.Automatically identifying this kind of vulnerability is critical for softw...
关键词:Integer-Overflow-to-Buffer-Overflow(IO2BO)vulnerability Inter-procedural dataflow analysis Taint analysis Path satisfiability 
ELAID:detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysis
《Cybersecurity》2018年第1期860-878,共19页Lili Xu Mingjie Xu Feng Li Wei Huo 
supported in part by the National Natural Science Foundation of China(Grant No.61802394,U1836209);Foundation of Science and Technology on Information Assurance Laboratory(No.KJ-17-110);National Key Research and Development Program of China(2016QY071405);Strategic Priority Research Program of the CAS(XDC02040100,XDC02030200,XDC02020200).
The Integer-Overflow-to-Buffer-Overflow(IO2BO)vulnerability has been widely exploited by attackers to cause severe damages to computer systems.Automatically identifying this kind of vulnerability is critical for softw...
关键词:Integer-Overflow-to-Buffer-Overflow(IO2BO)vulnerability Inter-procedural dataflow analysis Taint analysis Path satisfiability 
检索报告 对象比较 聚类工具 使用帮助 返回顶部