邱景
- 作品数：12 被引量：24H指数：2
- 供职机构：哈尔滨工业大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金教育部大学计算机课程改革项目黑龙江省高等教育教学改革工程项目更多>>
- 相关领域：自动化与计算机技术文化科学经济管理更多>>
- 一种使用收缩执行依赖图识别库函数的方法
- 一种使用收缩执行依赖图识别库函数的方法，属于软件逆向工程领域。所述方法为：1）对目标函数和库函数建立执行依赖图(EDG)；2）对EDG的局部EDG序列化，得到特征值序列和有序邻接矩阵；3）参照库函数EDG将目标函数和库函...
- 邱景苏小红马培军赵玲玲王甜甜
- 文献传递
- CS2013指导下的程序设计课程实践教学实施方案设计与翻转实验教学实践被引量：18
- 2016年
- 针对CS2013缺乏与其相匹配的实践教学指导性纲领的问题,以CS2013的知识体系为指导,设计了程序设计课程的实践教学实施方案,制订了以系统编程、问题求解、计算思维和自主学习能力培养为核心,涵盖程序设计完整知识体系的实践教学大纲,并具体给出了一个实验课程设计案例。然后,在这一大纲指导下进行了翻转实验的教学改革试点,借助高级语言程序设计能力训练平台和编程题考试自动评分系统,尝试了线上线下紧密结合,课内课外互为补充,能力为导向,考、讲、练结合,学习成效驱动的翻转实验教学模式,在本校程序设计课程实践教学中取得了良好的效果,保障了学生的实验效果和实验目标的达成。
- 苏小红赵玲玲邱景王甜甜张彦航
- 关键词：程序设计课程实践教学知识体系
- 一种使用静态分析的汇编代码缺陷检测方法被引量：1
- 2013年
- 针对当前缺乏汇编代码自动化审查工具的情况,对汇编代码人工审查方法进行研究,提出了一种基于静态分析的汇编代码缺陷检测方法.该方法中,在控制流线性化后,运用特征识别处理间接寻址跳转,采用结点克隆处理延迟条件分支,使用调用序列处理存在递归函数的过程间控制流图的构造.在此基础上,实现了ADSP SHARC汇编代码检测工具,并进行了静态分析测试和缺陷检测测试.测试结果表明,该方法可以有效地检测汇编代码中的不可退出点、循环、寄存器、以及内存访问缺陷.
- 邱景苏小红马培军
- 关键词：汇编代码
- 一种新的使用逆向扩展控制流图的静态函数识别方法
- 一种新的使用逆向扩展控制流图的静态函数识别方法，属于软件逆向工程领域。所述方法包括如下步骤：步骤1：建立区域逆向扩展控制流图的集合；步骤2：对逆向扩展控制流图去噪，删除构建过程中搜索出的非编译器能生成的节点；步骤3：删除...
- 邱景苏小红马培军赵玲玲王甜甜
- 文献传递
- 二进制代码内联库函数识别
- 2015年
- 内联库函数识别是二进制代码分析的难点问题之一。主要的挑战来自在编译优化的作用下,内联库函数在目标函数中存在多态性和不连续性。本文构建函数的执行流图,将内联库函数识别问题转化为执行流图子图同构测试问题。实验中,对四个常被编译器内联的字符串操作函数,使用MSVC10和ICC14这两个编译器在5个开源软件中进行内联库函数识别测试。实验结果表明,本文方法可以有效识别二进制代码中的内联库函数。
- 邱景苏小红马培军
- 关键词：子图同构
- 面向软件安全的二进制代码逆向分析关键技术研究
- 二进制代码逆向分析是一种针对二进制代码的程序分析技术。它在源代码无法获取的情形中至关重要。如在恶意软件检测与分析中，由于恶意软件作者往往不公开源代码，二进制代码逆向分析几乎是唯一的分析手段。在对商业软件的安全审查以及抄袭...
- 邱景
- 关键词：二进制代码
- 一种使用收缩执行依赖图识别库函数的方法
- 一种使用收缩执行依赖图识别库函数的方法，属于软件逆向工程领域。所述方法为：1）对目标函数和库函数建立执行依赖图(EDG)；2）对EDG的局部EDG序列化，得到特征值序列和有序邻接矩阵；3）参照库函数EDG将目标函数和库函...
- 邱景苏小红马培军赵玲玲王甜甜
- 文献传递
- 联合机试和面试的研究生招生复试选拔与考评体系研究被引量：4
- 2014年
- 分析国内研究生招生复试的现状和发展趋势,提出采用联合机试和面试的方法进行研究生招生复试,合理分配机试和面试的分数比例,建立联合机试和面试的研究生招生复试选拔和考评体系,对研究生招生复试的具体实施办法提出若干改革措施和建议。
- 苏小红刘挺邱景王甜甜文齐
- 关键词：面试研究生生源质量
- 面向学生自主学习的C语言程序设计实践教学支撑环境
- 如何为学生提供支持其自主学习的实践教学支撑环境,并对学生学习的过程进行有效的监督和指导,真实、客观、公平、公正地评价学生的自主学习效果,成为当前计算机教育领域的研究热点.为解决这些问题,建设了全方位、多元化的面向学生自主...
- 苏小红邱景王甜甜赵玲玲
- 关键词：实践教学自主学习能力
- 使用锁分配图动态检测混合死锁
- 2017年
- 死锁难以暴露、重演和调试.一旦发生,将导致多线程程序响应时间增长、吞吐量下降甚至宕机崩溃.现有死锁检测技术每次只能检测一个互斥锁死锁.为一次性检测由多个线程和多个互斥锁或读写锁造成的所有类型死锁,首先提出混合锁分配图的概念和构建方法,然后提出一种利用混合锁分配图动态检测混合死锁的方法.通过劫持所有互斥锁和读写锁的加锁解锁操作,以动态构建和实时更新一个反映目标程序同步状态的混合锁分配图.通过在锁分配图上检测环并判定该环是否为死锁环来检测死锁.当检测到死锁时,输出死锁信息来辅助调试.死锁检测实验、性能影响实验和可扩展性实验结果表明:该方法成功检测出所有13个共5种类型的死锁缺陷,检测能力强;给openldap-2.2.20带来至多10.15%的性能下降幅度,对目标程序造成的性能影响较小;性能开销随线程数目指数级增大而平缓增长,扩展性良好.
- 禹振苏小红邱景
- 关键词：软件测试死锁检测
