静态检测

摘要： 该文研究光电理疗仪的电路故障排除及光辐射污染控制.基于各类光电理疗仪型号的特点与适用范围,以及其电源部分与电路部分的工作原理,并且根据振荡电路的构成与集成块的振荡频率,对相关管脚的频率信号进行求解,在静态检测下采用万用表来测量各元件的输入、输出阻值,完成电路故障排除;通过光辐射污染的形成因素,提出改变照射形式与架构合理倾角等控制策略,从而令光辐射污染得到控制.仿真实验表明,该文方法不仅精准排除了理疗仪的电路故障,而且极大程度控制了光辐射污染,具有一定的实践性与可行性.

摘要： 时间侧信道攻击对开源RISC-V架构的软件机密性有严重威胁,而目前对于RISC-V架构上的时间侧信道泄露静态检测的研究较为缺乏。文章评估了常见的时间侧信道泄露静态分析方法的适用范围和优缺点,根据RISC-V汇编语言的特点优化检测算法,针对RISC-V的64位通用指令集RV64G实现了结合信息流分析和简化符号执行理论的时间侧信道检测模型。文章对通用开源网络通信密码库OpenSSL和NaCl的AES、RSA等密码算法实现进行测试,测试结果表明,相较于现有工具中准确率最高的模型,文章所提模型在相同的测试向量下准确率提高了约17%,漏报率降低了约22%,加快了检测速度并在一定程度上缓解了路径爆炸问题,为RISC-V架构上侧信道攻击安全检测工具设计提供了参考。

摘要： 多线程交互学习软件系统源代码需要等价转化,明确依赖关系,以实现精准高效的安全漏洞检测,提升系统运行的可靠性与安全性。运用词法与语法分析器分析待测系统源代码,经AST转化器遍历后等价转化源代码为IR,流分析IR后得到IR内语句间的依赖关系信息,依据所得依赖信息生成依赖图,输入到安全漏洞静态检测算法,经静态检测获取到安全漏洞检测报告,检测系统安全漏洞。实验结果表明,漏洞检测结果精度高、耗时少,具有较高的检测效率,综合性能表现优越,可为多线程交互学习软件系统的安全可靠运行提供保障。

摘要： 现在各式各样的移动应用已经成为人们生活中不可缺少的元素,而发现移动应用代码缺陷是移动应用开发人员必须面对的重要且繁杂的工作。分析了移动应用代码特点、代码缺陷定义及常用检测方法,归纳了当前移动应用常用的原生开发模式、基于Web开发模式、以原生技术为主的混合开发模式、以Web前端技术为主的跨平台开发模式、Flutter跨平台开发模式等五种开发模式,提出针对这五种开发模式基于工具的代码缺陷静态检测方案。

摘要： 智能电网中的安全系统除了要实现普通应用系统的功能外,还要保证它所管理资源的安全性,包括保密性、完整性和可用性等.相较于其他编程语言,C++更接近操作系统底层,可以实现一些对性能有较高要求的底层算法,同时正是由于C++能够直接控制系统资源的分配和使用,这就为内存泄露埋下了隐患.提出一种基于电网操作系统中数据流分析进行内存泄露检测的方法,主要研究目标是提取目标代码或源程序的数据流,并利用数据流对其分析,实现内存泄露的检测.经过实验表明,提出的方法能够对由C++指针使用不当造成的内存泄露进行有效的检测,在自动化测试、程序静态检测等方面具有实际意义.

摘要： 带有系统底层特性的高级语言(C、C++等)通常采用的是弱类型系统,允许不同类型变量之间的混合运算。因此,在涉及到赋值等操作时,如果源变量和目的变量类型不一致,则需要进行类型转换,而转换过程稍有疏忽就会引入安全性问题。现有的检测技术大多在程序运行时进行类型转换问题的检测,产生较大额外开销的同时,也会影响程序的执行速度。基于LLVM编译器提出一种针对C/C++隐式类型转换的安全性检测方法。该方法作用于LLVM中间代码,筛选出含有变量声明和引用的语句;对于声明变量的语句,提取其类型信息并按相应的数据结构存储;对于引用变量的语句,匹配定义的类型转换的不安全操作集和转换模式,以检测其中的类型转换操作是否安全。实验结果表明,该方法能够在编译阶段有效地检测出存在安全隐患的类型转换操作。

摘要： 在现代计算机系统漏洞缓解机制的作用下,传统注入攻击方法无法实现攻击,面向返回编程(Return-Oriented Programming,ROP)技术成为漏洞攻击的关键,其利用多个代码片段(gadget)组成ROP链,从而实现任意操作执行。因此,网络流量中的ROP链检测对防御漏洞攻击具有重要作用。文章提出一种ROP流量静态检测方法,该方法结合信息熵和方差通过序列抽取方式完成对ROP链中字节波动特征的差异量化,并利用卷积神经网络(Convolutional Neural Network,CNN)捕捉特征,从而实现对网络流量中ROP链的静态检测。文章将真实ROP代码与正常流量进行随机混合,从而形成训练数据集,利用此数据集进行分类训练,模型的最高准确率可达99.6%,漏报率可控制在2%以下,误报率可控制在1%以下。实验结果表明,文章提出的方法实现了纯静态ROP流量检测,系统开销低,并且不依赖内存地址信息。

摘要： 在过去的十年里,计算机恶意软件的发展十分迅速。现有的恶意软件检测技术主要包含静态检测和动态检测两种,但两者很难同时满足较高的检测效率和准确率。此外,现有的恶意软件检测技术大多基于机器学习算法来构建分类检测模型,最终得到的分类模型的检测效果不是很理想。综合现有的恶意软件检测技术的不足之处,提出一种基于深度学习的恶意软件检测技术,该检测技术采用了先静态检测后动态检测的方式。实验结果表明,该检测技术能够同时保证检测模型的高效率和高准确率,最终检测的准确率达到了93.41%。

摘要： 为了提高Android恶意软件的检测精度,提出了一种基于LSTM-SVM(Long Short-Term Memory-Support Vector Machine)模型的Android恶意软件静态检测方法。通过反编译Android软件的APK(Android Package)文件,提取出采用权限、组件、意图3类信息构成XML特征;通过分析API(Application Programming Interface)调用情况构成API特征。考虑恶意软件运行的时序性、特征维度等,基于XML特征构建LSTM异常检测模型,基于API特征构建SVM异常检测模型,两个模型采用并联模式,基于概率差融合算法得到最终的检测结果。在CICAndMal2017数据集上的实验结果表明,本文方法的检测精度可以达到98%以上。

摘要： 随着官方发布的漏洞数量呈现指数的增长趋势,针对漏洞检测技术的研究应运而生.漏洞种类的多样性以及检测方法的单一性导致漏洞检测结果呈现一定的局限性.当前漏洞检测技术主要集中在静态检测和动态检测2方面.其中静态检测分析又分为文档分析法、交叉验证法以及程序分析方法等3类.随着自然语言处理技术的兴起和专家知识的不断扩展,研究人员探索了在多个数据源上利用自然语言处理技术辅助进行漏洞检测研究的可行性.根据信息类型的不同,分别从官方文档、代码、代码注释以及漏洞相关信息4部分内容出发,对基于自然语言处理的漏洞检测相关研究成果进行调研.首先,通过对近10年来基于自然语言处理技术的漏洞检测相关文献进行梳理,对相关成果进行分类并提取技术细节;接着,对不同数据源下的研究成果进行横向对比,总结当前基于自然语言处理技术的漏洞检测成果的优缺点;最后,通过交叉对比并深入分析,总结当前基于自然语言处理的漏洞检测方法中存在的8类问题,从数据、技术以及效果3方面进行解决方案的讨论,同时提出了未来研究方向.

摘要： SQL注入漏洞对软件安全产生了巨大威胁，对SQL注入的检测和防范是开发者在开发软件时必须考虑的一个重要因素。但现有的通用静态分析工具大多无法有效检测Android应用中的SQL注入漏洞.针对这一问题,分析了SQL注入漏洞的代码特征和数据特征,提出了一种基于污点分析的静态检测方法,并在开源工具FindBugs的基础上,实现了原型工具SQLInj.实验结果表明,该方法能有效检测出Android应用中存在的SQL注入漏洞.

摘要： PDF文档为恶意代码的传播提供了新的渠道,并且成为了恶意代码常用的有效载体.本文针对恶意PDF文档的检测问题,通过分析恶意PDF文档的多种攻击原理,提出了一种针对多种攻击类型,基于多模匹配改进算法的静态检测方法.该方法具有针对性强、检测速度快和检测准确率高的优点.基于该方法,设计实现了恶意PDF检测工具,采用实际样本进行测试,分析了检测正确率和检测时间指标,结果表明本系统能够在快速检测的同时兼顾较高的准确率.

摘要： 静态检测工具分析源代码缺陷的两个难点问题是可靠性和完备性,特别是大型软件的代码,静态检测工具不可能从全方面进行分析,这会导致出现大量的误报和漏报.本文使用主流源代码静态检测工具对Android操作系统源代码进行检测,将结果经由同源性检测进行整合,设计Android源代码安全漏洞检测结果整合模型.首先分析市场上的静态检测工具的特点、侧重点、不同点、相同点,选取检测方法不同的两种商业工具.接着对这两种商业工具检测Android操作系统源代码后的结果,利用已建好的漏洞特征库,结合同源性检测技术,进行整合得到最终结果.最后通过和人工整合结果的对比分析,验证模型的有效性和准确性.

摘要： 本文针对数组越界模式提出了多变量约束的过程间静态检测方法.本文首先分析了一个过程间数组越界模式的例子,然后提出了多变量约束的模型,用一个四元组来表示多变量约束信息.在此模型的基础上,介绍了多变量约束的生成、传播算法以及使用方法.此方法在前置约束信息中增加多变量关系的分析,使前置约束信息中能够记录多变量的约束关系,以达到减少误报和漏报的目的.最后本文通过一个应用实例说明了此方法的分析过程.

摘要： 描述了在飞行试验中飞机进行大过载飞行后，对机体结构变形进行静态检测的一种方法。根据飞机上测试点的分布情况，采用多测站拼接的测量方法，构建了基于全站仪和笔记本电脑的测试系统，通过地面多个公共控制点的最小二乘平差解算，有效保证了测量精度和可靠性，同时给出了测量的最终结果。

摘要： 随着Android系统在移动智能终端的应用越来越广,Android系统的信息安全问题也日趋严重.尽管Android操作系统的进程采用了独立的虚拟内存空间保障其程序内核的可靠性,但由于应用程序各种事件之间的调用和关联,导致隐私数据泄露、程序越权操作、电池耗尽攻击、恶意进程交互等手机安全事件频繁涌现.因此Android恶意代码检测技术成为移动应用安全防护的一个研究热点.文章从Android恶意代码检测的应用需求和背景出发,概述了动态检测和静态检测方法、基于机器学习的智能检测方法、基于形式化的软件工程方法等各个方面的研究进展,最后提出了融合机器学习和软件工程方法的综合静态检测方法的研究方向,并分析了技术难点,可为学术研究和产品开发提供有价值的参考.

摘要： 近年来，网站挂马已经成为木马传播的主要途径之一，黑客往往在入侵网站后利用这种方式将木马种植到浏览该网站的用户计算机上并执行，以达到盗取用户财物或控制用户计算机的目的，严重威胁着互联网的使用安全。传统的基于文本的静态检测方法由于误报率高而缺乏实际应用价值，模拟真实运行环境的动态检测方法则因资源消耗大而难以获得较高的性能。提出了一种静态与动态相结合的混合式网站挂马检测系统，静态检测模板采用基于文本的方法对保存到本地的网页文件进行初步恶意性判定，并将被判定为恶意的网页提交给动态检测模块进行结果验证，动态检测模块采用基于虚拟机的方法实现。静态与动态混合的检测方式有效地克服了单纯静态检测或动态检测方法的弊端，能更高效地检测嘲络中存在的挂马网页，使互联网更加安全可靠。

摘要： 随着Internet技术的广泛应用，网页恶意代码逐渐成为危害面最广泛、传播效果最佳的恶意代码形式之一，对信息安全构成了严重的威胁。为了主动探测Internet上的恶意网页，更及时有效的发现新近出现的网页恶意代码和变种，基于文件的网页恶意代码检测设计利用Crawler的主动爬取功能，主动从网络中爬取网页，并在爬取网页过程中加入对网页恶意代码的静态检测模块，给出网页安全性的一个初步判断，从本质上了解它们的特性，从而对主动探测Internet上恶意网页系统更加完善，更及时有效的发现新近出现的网页恶意代码和变种，使互联网环境更加趋于稳定、安全、可靠。

摘要： 空指针引用的错误在C++程序中普遍存在,面向故障的静态测试方法应该很好地针对这种故障模式。然而已有的一些静态测试方法大多着重于过程内,许多通过函数参数或者返回值进行传递的指针由于函数间分析的复杂性导致其检测相对困难。提出了一种以函数摘要做基础进行函数间分析、同时利用状态机对函数间的空指针引用错误进行检测的方法。同时,过程内利用了路径敏感的特性减少了误报。

摘要： 本文介绍了固件漏洞挖掘技术与实例，a)Web，功能丰富，主要用于取代console CLI，b)SNMP，用于监控、运维和管理，设备基本都有，而大部分的默认读团体字是public/RO。

摘要： 本发明涉及受电弓检测技术领域，具体是受电弓静态拉力检测仪和受电弓静态拉力检测控制方法。本实例中的包括检测绳、所述检测绳依次穿过测速轮、张力轮、导向轮和绕线装置的绕线轮，所述测速轮、张力轮、导向轮和绕线装置的绕线轮设置在支架上形成一个导轮支座组件，其特征在于，所述绕线轮包括绕线轴和设置在所述绕线轴两端的第一挡线盘、第二挡线盘，所述第一挡线盘和第二挡线盘之间形成为所述绕线轮的绕线槽，所述绕线轮转动收线时，检测绳交错地盘入所述绕线槽。本实例解决了现有技术中的受电弓静态拉力检测仪因绕线装置的绕线轮过大致使受电弓静态拉力检测仪的体积过大不易携带的技术问题。

摘要： 本发明属于编程技术领域，涉及静态代码检测方法和静态代码检测系统、存储设备。该静态代码检测方法包括步骤：对静态代码进行处理，提取变量信息，建立相关变量集合；根据可能产生缺陷的变量进行缺陷归类，建立缺陷集，所述缺陷集至少包括一个缺陷子集，每一所述缺陷子集包括一个与变量相关的根节点缺陷；根据所述缺陷子集中所述根节点缺陷的误报状况，确认缺陷。本发明通过在传统的静态缺陷检测的基础上增加了缺陷关联分析技术，从缺陷之间的内在关联出发，将具有依赖关系的缺陷分为一组；若缺陷之间具有子集关系，如果缺陷子集中的根节点是误报，则整个子集中的所有缺陷均是误报，从而大大提高静态代码检测缺陷确认效率，减少人工确认的工作量。

摘要： 本发明涉及一种静态输出加静态动态脉冲检测的轨道交通安全输出系统，包括安全控制电路，所述安全控制电路包括用于控制相应信号设备的安全继电器，所述安全继电器通过控制单元进行控制，所述安全控制电路至少包括两个通道的控制单元，每个通道控制单元包括一个处理单元、与所述处理单元对应并连接所述安全继电器的输出单元、以及一个动静态回采单元，所述处理单元包括短时检测脉冲产生模块、短时脉冲解码模块和静态解码模块，所述安全控制电路还包括用于给所述控制单元提供基准信号的基准信号产生单元。通过在轨道交通控制电路中设置动静态回采单元，使得处理单元可以对输出的结果可以进行回采对比，从而来确定电路的控制，提高整个电路的准确性。

摘要： 本发明涉及受电弓检测技术领域，具体是受电弓静态拉力检测仪和受电弓静态拉力检测控制方法。本实例中的包括检测绳、所述检测绳依次穿过测速轮、张力轮、导向轮和绕线装置的绕线轮，所述测速轮、张力轮、导向轮和绕线装置的绕线轮设置在支架上形成一个导轮支座组件，其特征在于，所述绕线轮包括绕线轴和设置在所述绕线轴两端的第一挡线盘、第二挡线盘，所述第一挡线盘和第二挡线盘之间形成为所述绕线轮的绕线槽，所述绕线轮转动收线时，检测绳交错地盘入所述绕线槽。本实例解决了现有技术中的受电弓静态拉力检测仪因绕线装置的绕线轮过大致使受电弓静态拉力检测仪的体积过大不易携带的技术问题。

摘要： 本发明属于编程技术领域，涉及静态代码检测方法和静态代码检测系统、存储设备。该静态代码检测方法包括步骤：对静态代码进行处理，提取变量信息，建立相关变量集合；根据可能产生缺陷的变量进行缺陷归类，建立缺陷集，所述缺陷集至少包括一个缺陷子集，每一所述缺陷子集包括一个与变量相关的根节点缺陷；根据所述缺陷子集中所述根节点缺陷的误报状况，确认缺陷。本发明通过在传统的静态缺陷检测的基础上增加了缺陷关联分析技术，从缺陷之间的内在关联出发，将具有依赖关系的缺陷分为一组；若缺陷之间具有子集关系，如果缺陷子集中的根节点是误报，则整个子集中的所有缺陷均是误报，从而大大提高静态代码检测缺陷确认效率，减少人工确认的工作量。

摘要： 本文档描述了使雷达系统能够检测双静态和单静态场景中的角度的技术和系统。在一些示例中，汽车雷达系统包括一个或多个处理器。处理器可以获得对象反射的电磁(EM)能量，并基于反射的EM能量生成二维(2D)数据矩阵。2D数据矩阵具有与发射器阵列中的天线元件的数量相对应的行数以及与接收器阵列中的天线元件的数量相对应的列数。使用2D数据矩阵，处理器可以确定单静态和双静态场景中的DoA估计和DoD估计。通过将DoA估计与DoD估计进行比较，处理器可以确定与对象相关联的角度。以这种方式，所描述的技术和系统可以以改进的角分辨率和降低的成本实现单静态和双静态状况中的角度检测。

摘要： 本发明涉及一种静态输出加静态动态脉冲检测的轨道交通安全输出系统，包括安全控制电路，所述安全控制电路包括用于控制相应信号设备的安全继电器，所述安全继电器通过控制单元进行控制，所述安全控制电路至少包括两个通道的控制单元，每个通道控制单元包括一个处理单元、与所述处理单元对应并连接所述安全继电器的输出单元、以及一个动静态回采单元，所述处理单元包括短时检测脉冲产生模块、短时脉冲解码模块和静态解码模块，所述安全控制电路还包括用于给所述控制单元提供基准信号的基准信号产生单元。通过在轨道交通控制电路中设置动静态回采单元，使得处理单元可以对输出的结果可以进行回采对比，从而来确定电路的控制，提高整个电路的准确性。

摘要： 本实用新型涉及一种用于滑轨静态剥离和调角器静态强度的检测装置，属于汽车座椅检测技术领域，其包括机身以及工作台；机身设置有底座，底座的顶面设置有X向丝杠和Y向丝杠；底座的底面设置有Z向升降丝杠；底座的一端通过铰接轴与机身转动连接，底座的另一端与Z向升降丝杠的螺杆连接。本实用新型通过Z向升降丝杠可以支撑底座绕铰接轴转动使底座倾斜，将固定在工作台上的待测工件转动至相应的角度；同时，通过X向丝杠和Y向丝杠使得工作台面可以分别在X方向和Y方向移动，进而实现待测工件在X方向和Y方向的调节，因此，不仅可以适用于滑轨水平方向和45°方向的静态剥离检测实验，而且还可以用于调角器的静态强度检测实验。

摘要： 本发明公开了一种静态检测方法和静态检测装置。该方法包括：判断源代码中的程序语句为不可达语句或者可达语句；若判断出所述程序语句为不可达语句时，跳过所述不可达语句；若判断出所述程序语句为可达语句时，对所述可达语句进行缺陷计算。本发明提供的静态检测方法和静态检测装置中，若判断出程序语句为不可达语句时跳过该不可达语句，若判断出程序语句为可达语句时对该可达语句进行缺陷计算，本发明的方案可实现从源代码的程序语句识别出不可达语句，并在缺陷计算过程中跳过该不可达语句，极大的减少了后续进行缺陷确认时人工确认的工作量，从而提高了静态检测的效率。

摘要： 发明名称一种多功能气体成分静态改变与静态检测装置摘要本发明属于气体反应装置与气体检测装置的技术领域，针对静止、长时或密闭等静态气体成分改变过程。本专利装置将不同的功能单一、小型简易的组件，以统一的接口，根据需要，安装在同一密闭空间内，并通过加以简单的机电控制，使装置具有不同的功能，从而完成不同的任务。包括基础类组件（1），控制类组件（2），监测类组件（3），检测类组件（4），反应类组件（5）。本专利装置可将繁杂、重复的气体成分改变与检测过程整合为单次综合流程；使静态类的气体成分改变与检测更为便利、普及；功能丰富，满足教学和基础实验的多元化需求；使相应工作效率提高，成本降低。