典型文献
基于LLVM的C/C++隐式类型转换安全性检测
文献摘要：
带有系统底层特性的高级语言(C、C++等)通常采用的是弱类型系统,允许不同类型变量之间的混合运算.因此,在涉及到赋值等操作时,如果源变量和目的变量类型不一致,则需要进行类型转换,而转换过程稍有疏忽就会引入安全性问题.现有的检测技术大多在程序运行时进行类型转换问题的检测,产生较大额外开销的同时,也会影响程序的执行速度.基于LLVM编译器提出一种针对C/C++隐式类型转换的安全性检测方法.该方法作用于LLVM中间代码,筛选出含有变量声明和引用的语句;对于声明变量的语句,提取其类型信息并按相应的数据结构存储;对于引用变量的语句,匹配定义的类型转换的不安全操作集和转换模式,以检测其中的类型转换操作是否安全.实验结果表明,该方法能够在编译阶段有效地检测出存在安全隐患的类型转换操作.
文献关键词：
类型转换;静态检测;安全性;LLVM
中图分类号：
作者姓名：
万明;刘嘉华;鄂龙慧;朱江
作者机构：
南京南瑞信息通信科技有限公司 江苏 南京210003
文献出处：
引用格式：
[1]万明;刘嘉华;鄂龙慧;朱江-.基于LLVM的C/C++隐式类型转换安全性检测)[J].计算机应用与软件,2022(04):21-26,45
A类：
中间代码,不安全操作
B类：
LLVM,C++,隐式,类型转换,安全性检测,混合运算,赋值,转换过程,疏忽,安全性问题,程序运行,大额,开销,执行速度,编译器,有变,声明,语句,类型信息,数据结构,在编,静态检测
AB值：
0.329374
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
