咨询与建议

限定检索结果

文献类型

  • 33 篇 期刊文献
  • 24 篇 学位论文

馆藏范围

  • 57 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 56 篇 工学
    • 54 篇 计算机科学与技术...
    • 44 篇 软件工程
    • 11 篇 网络空间安全
    • 3 篇 机械工程
    • 3 篇 控制科学与工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 电气工程
    • 2 篇 信息与通信工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 化学工程与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 核科学与技术
  • 3 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 理学
    • 1 篇 化学

主题

  • 57 篇 控制流分析
  • 24 篇 数据流分析
  • 8 篇 静态分析
  • 4 篇 并发程序
  • 3 篇 污点分析
  • 3 篇 java
  • 3 篇 数据竞争
  • 3 篇 缓冲区溢出
  • 3 篇 uml2.0顺序图
  • 3 篇 逆编译
  • 3 篇 别名分析
  • 3 篇 反编译
  • 2 篇 基于约束的分析
  • 2 篇 并发控制流
  • 2 篇 并发软件重构
  • 2 篇 一致性检测
  • 2 篇 控制依赖分析
  • 2 篇 soot
  • 2 篇 不动点算法
  • 2 篇 程序切片

机构

  • 6 篇 河北科技大学
  • 5 篇 北京邮电大学
  • 4 篇 吉林大学
  • 4 篇 解放军信息工程大...
  • 3 篇 电子科技大学
  • 2 篇 南京大学
  • 2 篇 上海交通大学
  • 2 篇 北京大学
  • 2 篇 中国石油勘探开发...
  • 2 篇 西安电子科技大学
  • 2 篇 北京理工大学
  • 1 篇 合肥电子工程学院
  • 1 篇 北京交通大学
  • 1 篇 湖南科技大学
  • 1 篇 61741部队
  • 1 篇 山东中烟工业有限...
  • 1 篇 北京清华长庚医院
  • 1 篇 中国科学院研究生...
  • 1 篇 第二炮兵工程学院
  • 1 篇 百度商业平台研发...

作者

  • 3 篇 孙仕欣
  • 2 篇 张冬雯
  • 2 篇 王震宇
  • 2 篇 王琳
  • 2 篇 梁亚楠
  • 2 篇 梁婕
  • 2 篇 徐国爱
  • 2 篇 韦韬
  • 2 篇 张杨
  • 2 篇 李金诺
  • 2 篇 申利民
  • 2 篇 张淼
  • 2 篇 刘磊
  • 1 篇 李明杰
  • 1 篇 唐成华
  • 1 篇 陈耿标
  • 1 篇 刘杰
  • 1 篇 张睿
  • 1 篇 陈英
  • 1 篇 周西柳

语言

  • 57 篇 中文
检索条件"主题词=控制流分析"
57 条 记 录,以下是51-60 订阅
排序:
面向并发程序的重构一致性检测方法
收藏 引用
河北师范大学学报(自然科学版) 2020年 第3期44卷 200-208页
作者: 张杨 孙仕欣 张冬雯 东春浩 乔柳 河北科技大学信息科学与工程学院 河北石家庄050018
针对并发软件重构后可能带来的行为不一致问题,提出了一种重构一致性检测方法,该方法使用控制流分析和数据分析检测重构前后的变化,使用同步依赖分析检测重构前后同步依赖关系的变化.针对对象重用性、静态共享字段、死锁3种典型的引... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种大数据分析组件的自动化开发集成方法
收藏 引用
计算机应用与软件 2016年 第7期33卷 33-37,92页
作者: 陈茜 吴怀林 马志柔 刘杰 钟华 中国科学院大学 北京100049 中国科学院软件研究所 北京100190
随着大数据时代的到来,数据分析需求日趋多样化,大数据分析工具自带的算法库已无法满足个性化的数据分析需求,亟需开发或集成新的算法。但现有的大数据分析工具算法开发集成学习成本高,给新算法的开发集成带来一定困难。提出一种针对大... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于静态污点分析的Android应用能力泄露检测框架
收藏 引用
现代计算机 2019年 第9期25卷 94-100页
作者: 陈纯 周安民 四川大学电子信息学院信安所 成都610065
各大Android应用市场上的App的数量不断增加,Android应用程序安全问题也日益突出。其中能力泄露也是众多安全问题之一,这种能力泄露可能使恶意软件通过Android安全机制绕过达到权限提升和隐私泄露,因此在此前提下,研究一种基于静态污点... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
异常结构对Java程序分析的影响
收藏 引用
数字技术与应用 2015年 第5期33卷 133-134页
作者: 谢寿吾 中核集团核动力运行研究所 湖北武汉430223
控制流、数据控制依赖等是软件任务执行中比较常用的进行程序分析、技术分析和理解程序的程序模式。可提供较完善的异常处理机制,是现阶段市场上行的程序设计语言都基本具备的功能。本文着重分析了Java语言程序中的异常结构,并对... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
逆编译中用户自定义库函数识别技术研究
收藏 引用
现代电子技术 2009年 第14期32卷 120-123页
作者: 张龙杰 谢晓方 袁胜智 李洪周 海军航空工程学院
静态库函数分为系统库函数和用户自定义库函数,它的识别问题一直是反编译技术的难点,特别是对于用户自定义库函数,由于通用性低,信息获取困难,因而这方面的研究很少。分析用户自定义库函数在存储器中的存储方式和特征,提出一种用户自定... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于中间语言的逆编译方法
收藏 引用
东北重型机械学院学报 1997年 第1期21卷 55-58页
作者: 申利民 唐勇 柯汉水 陈晓谦 燕山大学 秦皇岛华联商厦 华北石油学校
提出一种以中间语言为基础的逆编译方法,此方法首先把机器语言的程序转换为中间语言的程序,然后在中间语言程序上进行数据类型分析控制流分析
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
GCC代码优化技术的研究
收藏 引用
微机发展 2004年 第8期14卷 67-70页
作者: 石博慧 陈英 北京理工大学计算机科学与工程系 北京100081
GCC是基于Linux下的开放源码的优化编译系统,可以接收多种高级源语言,广泛支持多平台操作系统。其代码优化机制,不仅能兼顾时间、空间效率,生成高质量的目标代码,而且具有很强的可移植性与可扩充性,是编译器优化研究的目标。通过对GCC... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论