李炼
- 作品数：14 被引量：110H指数：5
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 分布式系统中的日志分析及应用被引量：8
- 2019年
- 分布式系统是支撑当前大数据时代各种大数据应用和在线服务的基础平台,分布式系统的质量是大数据应用提供良好服务的基础和前提。伴随着大规模分布式系统的广泛应用,由分布式系统缺陷带来的影响和危害日益严重。但分布式系统在设计、实现和部署方面的复杂性,导致系统的开发和维护人员很难准确地理解和掌握整个系统的行为,难以及时发现系统中存在的故障并进行修复。分布式系统日志涵盖了丰富的信息,是辅助用户理解分布式系统逻辑、剖析系统性能、检测系统异常以及诊断故障原因的重要依据。但复杂的日志结构、庞大的日志规模以及属于不同功能模块、不同用户请求的日志之间相互交错,为人工分析、挖掘日志中的有效信息带来了巨大的困难。本文对近年来针对分布式系统日志的分析和应用技术进行综述:首先总结了分布式系统日志分析与应用的通用流程,提炼出其中的3个关键步骤,即日志的收集与解析、日志划分、以及日志特征的挖掘与应用;然后针对上述3个关键步骤,逐一分析需要解决的技术问题,分类阐述目前主流的技术方案,对比技术特征或适用场景。文章还归纳了目前常用的3类日志特征,并从4个方面就该领域未来可能的研究方向提出展望。
- 陆杰李丰李炼
- 关键词：分布式系统日志分析异常检测故障诊断
- 污点分析技术的原理和实践应用被引量：46
- 2017年
- 信息流分析可以有效保证计算机系统中信息的保密性和完整性,污点分析作为其实践,被广泛用于软件系统的安全保障技术领域.对近些年来面向解决应用程序安全问题的污点分析技术进行综述:首先,总结了污点分析的基本原理以及在应用中的通用技术,即,使用动态和静态的方法解决污点传播;随后,分析该技术在移动终端、互联网平台上的应用过程中遇到的问题和解决方案,包括解决Android应用隐私泄露与检测Web系统安全漏洞的污点分析技术;最后,展望该技术的研究前景和发展趋势.
- 王蕾李丰李炼冯晓兵
- 关键词：污点分析信息流分析ANDROIDWEB
- 面向Android应用隐私泄露检测的多源污点分析技术被引量：10
- 2019年
- 当前,静态污点分析检测Android应用隐私泄露存在误报率较高的问题,这给检测人员和用户带来很大的不便.针对这一问题,提出了一种多源绑定发生的污点分析技术.该技术可以精确地判断污点分析结果中多组源是否可以在一次执行中绑定发生,用户可以从单一分析1条结果转为分析有关联的多组结果,这既缩小了分析范围,又降低了检测的误报率.在精度上,该技术支持上下文敏感、流敏感、域敏感等特性,并可以有效地区分出分支互斥的情况.在效率上,提供了一种高效的实现方法,可以将高复杂度(指数级别)的分析降低为与传统方法时间相近的分析(初始阶段开销为19.7%,进一步的多源分析平均时间为0.3s).基于此,实现了一个原型系统MultiFlow,利用其对2116个良性手机软件和2089个恶意手机软件进行应用,应用结果表明,多源污点分析技术可以有效地降低隐私泄露检测的误报率(减少多源对41.1%).同时,还提出了一种污点分析结果风险评级标准,评级标准可以进一步帮助用户提高隐私泄露检测的效率.最后探讨了该技术潜在的应用场景.
- 王蕾周卿何冬杰李炼李炼
- 关键词：污点分析ANDROID
- 基于静态调度的多线程程序分析方法被引量：4
- 2018年
- 静态多线程程序分析是一种在编译时刻分析多线程程序的执行行为和特征的有效方法。本文通过分析多线程程序实际执行的特点,提出了一种基于静态调度的多线程分析方法。该方法通过模拟多线程程序的动态执行方式,从而在不运行程序的情况下也能较准确地获得多线程的行为特征。实验表明,该分析方法可以有效地提高多线程程序中同步关系的识别和匹配精度,为分析和检测多线程性能瓶颈以及程序错误等信息奠定了基础。
- 周卿李炼冯晓兵
- 关键词：调度
- 基于稀疏框架的静态污点分析优化技术被引量：5
- 2019年
- 当前,隐私数据保护是信息系统安全的重要研究挑战,对应用程序进行隐私泄露检测是隐私泄露保护的有效方案.污点分析技术可以有效地对应用程序进行保密性和完整性的安全检测,提前报告出潜在的隐私泄露风险.然而,当前高敏感度的静态污点分析还存在开销过高的问题.通过对目前主流的污点分析工具FlowDroid进行深入分析,发现其污点分析计算中大量无关联污点传播是导致开销过高的重要原因,统计实验表明无关联传播占比高达85.2%.针对这一问题,尝试利用近年来一种有效的程序分析优化手段——稀疏优化——的方法,对静态污点分析中无关联的传播进行消除,达到时间和空间的开销优化.创新地将经典的数据流分析框架扩展成稀疏的形式,在此基础上提供了基于稀疏优化的污点分析方法.最后实现了工具FlowDroidSP,实验表明:FlowDroidSP在非剪枝模式下相比原FlowDroid具有平均4.8倍的时间加速和61.5%的内存降低.在剪枝模式下,具有平均18.1倍的时间加速和76.1%的内存降低.
- 王蕾何冬杰李炼李炼
- 关键词：污点分析
- 工业互联网软件安全保障平台
- 2021年
- 国家持续发展战略要求促进现代信息技术与制造业深度融合,重视“互联网+”智慧工业等产业创新发展,从而推动实体经济转型升级,打造制造强国和网络强国。而安全问题是传统工业企业能否在数字经济时代进行数字化、智能化升级,并顺利全面实施工业互联网的关键。
- 李炼魏志达韩翼龙
- 关键词：制造强国现代信息技术
- 程序分析研究进展被引量：41
- 2019年
- 在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.
- 张健张超张超玄跻峰王千祥梁彬梁彬窦文生李炼窦文生蔡彦
- 关键词：软件质量保障
- 面向曙光3000的支撑技术－图形化集成环境
- 张兆庆冯晓兵高琳林进乔如良陈莉任莉李炼戴晓如章峰洪锦伟
- 该项目包含两个子系统：自动并行优化工具Autopar和并行程序行为监测和性能分析工具ParaVT。Autopar对串行程序进行并行化，生成可在曙光系统上并行运算的并行序。程序的并行优化主要在循环级进行，能够进行多重循环并...
- 关键词：
- 并行程序的MHP分析方法和装置
- 本发明实施例提供一种并行程序的MHP分析方法和装置，一种并行程序的MHP分析方法包括：从待分析并行程序的主线程开始，每次选择一个线程，模拟待分析并行程序的执行，其中，当正在模拟执行的线程无法继续执行时，跳转至任一可继续执...
- 周卿李炼冯晓兵
- 文献传递
- 面向对象程序的上下文敏感指针分析研究被引量：1
- 2022年
- 指针分析是编译优化、程序静态分析中的基础,很多应用都需要基于指针分析,低精度的指针分析会给这些应用带来高误报率和漏报率,通过添加上下文敏感信息是提高指针分析的精度的一个重要手段.自从面向对象的概念被提出来之后,该概念得到了广泛的应用,Java、C++、.NET、C#等主流语言都支持面向对象的特性,面向对象程序的指针分析越来越受关注.做了一个系统文献综述(SLR),通过对索引到的相关文献进行分析和归类,总结了面向对象程序的上下文敏感指针分析研究的5个主要问题,并对这5个问题中用到的方法进行了分析讨论.
- 李昊峰孟海宁郑恒杰曹立庆李炼
- 关键词：上下文敏感面向对象语言
