基于深度语义融合的代码缺陷静态检测方法

随着计算机软件规模和复杂度的不断增加,软件中存在的代码缺陷对公共安全形成了严重威胁。针对静态分析工具拓展性差,以及现有方法检测粒度粗、检测效果不够理想的问题,提出了一种基于程序切片和语义特征融合的代码缺陷静态检测方法。首先,对源代码中的关键点进行数据流和控制流分析,并采用基于过程间有限分布子集（IFDS）的切片方法,以获取由多行与代码缺陷相关的语句组成的代码片段;然后,通过词嵌入法获取代码片段语义相关的向量表示,从而在保证准确率的同时选择合适的代码片段长度;最后,利用文本卷积神经网络（TextCNN）和双向门控循环单元（BiGRU）分别提取代码片段中的局部关键特征和上下文序列特征,并将所提方法用于检测切片级别的代码缺陷。实验结果表明,所提方法能够有效检测不同类型的代码缺陷,并且检测效果显著优于静态分析工具Flawfinder;在细粒度的前提下,IFDS切片方法能进一步提高F1值和准确率,分别达到了89.64%和92.08%;与现有的基于程序切片的方法相比,在关键点为应用程序编程接口（API）或变量时,所提方法的F1值分别达到89.69%、89.74%,准确率分别达到92.15%、91....     

油田加热炉自控系统

新式加热炉之所以安全可靠,操作方便,是因为燃烧器和自控系统起到了主要的作用.仪表将被测信号通过相应的输入端子输入到输入电路,在微处理器的控制下将选通电路的相应通道打开,信号进入微处理器进行处理,经驱动电路进行显示,微处理器判断显示相应的指令符号及输出开关量.无电自控系统由火焰、缺水监控装置,锅筒温度与烧嘴闭环比例控制装置两部分组成,主要功能是自动关小或加大燃烧器的火焰强度,从而使锅筒温度恒定在某一范围内.