检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

329 篇 期刊文献
303 篇 专利
122 篇 学位论文
21 篇 会议
1 篇 成果

馆藏范围

776 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

440 篇 工学
- 264 篇 计算机科学与技术...
- 193 篇 软件工程
- 102 篇 交通运输工程
- 66 篇 网络空间安全
- 51 篇 机械工程
- 10 篇 电气工程
- 9 篇 控制科学与工程
- 8 篇 仪器科学与技术
- 7 篇 电子科学与技术（可...
- 6 篇 动力工程及工程热...
- 6 篇 信息与通信工程
- 2 篇 建筑学
- 2 篇 航空宇航科学与技...
- 2 篇 公安技术
- 1 篇 材料科学与工程（可...
- 1 篇 冶金工程
- 1 篇 兵器科学与技术
41 篇 管理学
- 36 篇 管理科学与工程(可...
- 3 篇 工商管理
- 3 篇 图书情报与档案管...
- 1 篇 农林经济管理
11 篇 经济学
- 11 篇 应用经济学
5 篇 教育学
- 5 篇 教育学
5 篇 理学
- 5 篇 数学
3 篇 艺术学
- 3 篇 设计学（可授艺术学...
1 篇 法学
- 1 篇 公安学
1 篇 历史学
- 1 篇 中国史
1 篇 军事学
- 1 篇 军制学

主题

473 篇 数据流分析
36 篇 静态分析
29 篇 控制流分析
26 篇 故障诊断
21 篇 软件测试
14 篇 程序分析
14 篇 应用
14 篇 汽车故障诊断
13 篇 电控发动机
13 篇 故障现象
11 篇 故障诊断仪
11 篇 污点分析
11 篇 控制流图
10 篇 故障案例
10 篇 缺陷检测
10 篇 发动机
10 篇 一汽-大众
9 篇 维修人员
9 篇 别名分析
9 篇 汽车故障

机构

38 篇 北京邮电大学
29 篇 南京大学
19 篇 解放军信息工程大...
19 篇 北京大学
14 篇 西安电子科技大学
11 篇 广州华胜豪车专修...
11 篇 上海交通大学
11 篇 电子科技大学
10 篇 华中科技大学
10 篇 国防科学技术大学
10 篇 复旦大学
10 篇 浙江大学
9 篇 吉林大学
9 篇 中国科学技术大学
8 篇 中国石油大学
8 篇 哈尔滨工业大学
8 篇 中国科学院信息工...
8 篇 数学工程与先进计...
7 篇 清华大学
7 篇 北京航空航天大学

作者

11 篇 王光宏
10 篇 宫云战
9 篇 赵荣彩
8 篇 杨超
8 篇 马建峰
8 篇 董玉坤
7 篇 shu hui
7 篇 李宣东
7 篇 王林章
7 篇 舒辉
7 篇 刘磊
6 篇 张颖
6 篇 张广梅
6 篇 黄罡
6 篇 金大海
6 篇 王伟
6 篇 张鹏程
6 篇 赵宝平
6 篇 吉顺慧
5 篇 唐云善

语言

775 篇 中文
1 篇 英文

检索条件"主题词=数据流分析"

共 776 条记录，以下是711-720 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

一种Git仓库文件注解系统的注解传递算法

一种Git仓库文件注解系统的注解传递算法

引用

作者：张卫丰袁聚懋 210003 江苏省南京市鼓楼区新模范马路66号

本发明公开一种Git仓库文件注解系统的注解传递算法，首先对需要进行传递的项目进行静态分析，将需要分析的代码全部加载到缓存转换为中间表示；然后连接数据库将该项目的注解全部加载进来；接下来将注解和变量或者函数进行绑定，主要... 详细信息

标准号: CN109857390A

本发明公开一种Git仓库文件注解系统的注解传递算法，首先对需要进行传递的项目进行静态分析，将需要分析的代码全部加载到缓存转换为中间表示；然后连接数据库将该项目的注解全部加载进来；接下来将注解和变量或者函数进行绑定，主要是通过对比注解和代码的位置来确立对应关系；最后通过数据流将已有的注解传递给相关的变量或函数，然后将传递来的注解更新到数据库中，通过Git仓库文件注解系统可以查看到传递后的注解；该算法主要是通过数据流分析将已有的注解传递到相关的地方，提高代码中注解的覆盖率，减少开发人员的重复工作。

关键词：注解传递加载算法数据库仓库数据流分析缓存静态分析中间表示数据流绑定覆盖率重复转换更新分析开发

来源：评论

学校读者我要写书评

暂无评论

一种冗余变异体识别方法

一种冗余变异体识别方法

引用

作者：孙昌爱郭新玲 100083 北京市海淀区学院路30号

本发明提供一种冗余变异体识别方法，能够减少变异测试过程中变异体的执行时间。所述方法包括：比较变异体与待测程序源代码，获取每个变异体的变异位置及变异内容，确定每个变异体所属的块类别；对待测程序源代码进行数据流分析，获取... 详细信息

标准号: CN107247663B

本发明提供一种冗余变异体识别方法，能够减少变异测试过程中变异体的执行时间。所述方法包括：比较变异体与待测程序源代码，获取每个变异体的变异位置及变异内容，确定每个变异体所属的块类别；对待测程序源代码进行数据流分析，获取待测程序的数据流信息，结合获取的待测程序的数据流信息，对获取的每个变异体的变异内容上的变量进行分析，确定变异体的变异类型；其中，所述数据流信息包括：每个变量的定义‑使用链；根据确定的变异体所属的块类别和变异体的变异类型，按照预先定义的冗余变异体识别规则，分析待测程序的每条定义‑使用链，获取满足冗余变异体识别规则的变异体并标记为冗余变异体本发明涉及软件技术领域。

关键词：变异体冗余数据流信息程序源代码变异类型数据流分析变异测试软件技术预先定义分析

来源：评论

学校读者我要写书评

暂无评论

一种基于推测多线程的汇编级过程间指针分析方法

一种基于推测多线程的汇编级过程间指针分析方法

引用

作者：李美蓉赵银亮程传旭张少应陈庆荣许雯 710077 陕西省西安市西二环259号

本发明公开了一种基于推测多线程的汇编级过程间指针分析方法，通过汇编级的过程间指向分析，在进行过程间的指向分析之前，构建源程序中所有过程的过程调用图，构建后共分两个阶段进行指向分析。第一阶段，首先构建基于概率的路径剖析... 详细信息

标准号: CN108932137B

本发明公开了一种基于推测多线程的汇编级过程间指针分析方法，通过汇编级的过程间指向分析，在进行过程间的指向分析之前，构建源程序中所有过程的过程调用图，构建后共分两个阶段进行指向分析。第一阶段，首先构建基于概率的路径剖析代价模型，提取过程调用图中所有过程结点所选的推测路径，然后进行过程内的指向分析；第二阶段，进行过程间的指向分析和过程间的副作用计算，在每个过程调用点处，利用过程内的指向分析结果，进行指向关系的映射和反映射，得到过程间的副作用计算结果，实现调用过程上下文指向关系更新。在此基础上，指导整个程序进行过程间的数据流分析，评估指针变量内存指向关系间的数据依赖程度，得到更加精确的线程划分结果。

关键词：指向过程调用构建分析汇编数据流分析推测多线程关系更新划分结果数据依赖整个程序指针变量指针分析反映射源程序映射结点线程调用内存剖析概率评估

来源：评论

学校读者我要写书评

暂无评论

一种Git仓库文件注解系统的注解传递方法

一种Git仓库文件注解系统的注解传递方法

引用

作者：张卫丰袁聚懋 210003 江苏省南京市鼓楼区新模范马路66号

本发明公开一种Git仓库文件注解系统的注解传递方法，首先对需要进行传递的项目进行静态分析，将需要分析的代码全部加载到缓存转换为中间表示；然后连接数据库将该项目的注解全部加载进来；接下来将注解和变量或者函数进行绑定，主要... 详细信息

标准号: CN109857390B

本发明公开一种Git仓库文件注解系统的注解传递方法，首先对需要进行传递的项目进行静态分析，将需要分析的代码全部加载到缓存转换为中间表示；然后连接数据库将该项目的注解全部加载进来；接下来将注解和变量或者函数进行绑定，主要是通过对比注解和代码的位置来确立对应关系；最后通过数据流将已有的注解传递给相关的变量或函数，然后将传递来的注解更新到数据库中，通过Git仓库文件注解系统可以查看到传递后的注解；该方法主要是通过数据流分析将已有的注解传递到相关的地方，提高代码中注解的覆盖率，减少开发人员的重复工作。

关键词：注解传递加载数据库仓库数据流分析缓存静态分析中间表示数据流绑定覆盖率重复转换更新分析开发

来源：评论

学校读者我要写书评

暂无评论

一种基于图学习的Python语言代码片段生成方法

一种基于图学习的Python语言代码片段生成方法

引用

作者：许蕾刘笑今 210023 江苏省南京市栖霞区仙林大道163号

本发明的主要工作是提出一种基于图学习的Python语言代码片段生成方法，主要包括代码片段语法分析模块、数据流分析模块、代码片段编码神经网络模块、自然语言编码神经网络模块以及语法导向解码模块，其中，代码片段语法分析模块用于将P... 详细信息

标准号: CN114489669A

本发明的主要工作是提出一种基于图学习的Python语言代码片段生成方法，主要包括代码片段语法分析模块、数据流分析模块、代码片段编码神经网络模块、自然语言编码神经网络模块以及语法导向解码模块，其中，代码片段语法分析模块用于将Python语言代码片段转换为结构化中间表示，通过词法、语法分析得到代码片段的抽象语法树；数据流分析模块用于对Python语言代码片段进行数据流依赖分析，得到代码片段实体间的数据流依赖关系，作为边加入抽象语法树结构从而构成程序图；代码片段编码神经网络模块用于将代码片段对应的程序图编码为向量中间表示，通过数值向量描述代码片段程序图的特征；自然语言编码神经网络模块用于将代码片段对应的自然语言功能描述编码为向量中间表示，通过数值向量描述自然语言的特征；语法导向解码模块用于融合自然语言与代码片段程序图两方面的中间表示，通过多层分类神经网络逐个生成代码片段语法单元，得到完整的代码片段生成结果。

关键词：代码片段中间表示自然语言程序图神经网络模块语法分析模块自然语言编码数据流分析编码神经解码模块数值向量网络模块向量语法数据流依赖关系抽象语法树抽象语法功能描述神经网络语法单元语法分析数据流结构化树结构词法多层分类融合转换分析学习

来源：评论

学校读者我要写书评

暂无评论

安全注入自动化方法、装置、电子设备及存储介质

安全注入自动化方法、装置、电子设备及存储介质

引用

作者：施云云王涛黄智勇杨艳刘辉王晓鹏王巧珍吴铭 200072 上海市静安区寿阳路99弄9号卫宁健康大厦

本发明公开了一种安全注入自动化方法、装置、电子设备及存储介质。方法包括：当满足触发条件时，执行以下步骤：定位信息管理系统的控件；启动SQL跟踪工具，所述SQL跟踪工具用于跟踪数据库查看数据流；输入SQL注入语句，所述SQL注入语... 详细信息

标准号: CN114461512A

本发明公开了一种安全注入自动化方法、装置、电子设备及存储介质。方法包括：当满足触发条件时，执行以下步骤：定位信息管理系统的控件；启动SQL跟踪工具，所述SQL跟踪工具用于跟踪数据库查看数据流；输入SQL注入语句，所述SQL注入语句根据所述控件接受到的值生成；关闭所述SQL跟踪工具；根据预设规则对所述数据流分析注入风险并得出分析结果。本发明可实现C/S架构信息管理系统安全测试领域的自动化测试，即便系统控件复杂且量大，也无需人工干预，完成自动化监测与追踪，提升自动化安全测试的效率和质量。

关键词：跟踪工具控件安全测试语句自动化信息管理系统数据流分析自动化测试自动化监测数据流触发条件存储介质电子设备定位信息管理系统人工干预预设规则数据库追踪跟踪安全

来源：评论

学校读者我要写书评

暂无评论

基于静态污点分析和符号执行的安卓应用漏洞挖掘方法

基于静态污点分析和符号执行的安卓应用漏洞挖掘方法

引用

作者：付胧玉杨超杨力马建峰罗丹卢璐 710071 陕西省西安市雁塔区太白南路2号

本发明公开了一种基于静态污点分析和符号执行的安卓应用漏洞挖掘方法，主要解决现有用静态污点分析方法挖掘漏洞的过程中，分析范围固定，内存消耗巨大，分析结果存在误报的问题，其实现方案是1)配置分析目标并反编译程序源码；2)对反... 详细信息

标准号: CN106709356A

本发明公开了一种基于静态污点分析和符号执行的安卓应用漏洞挖掘方法，主要解决现有用静态污点分析方法挖掘漏洞的过程中，分析范围固定，内存消耗巨大，分析结果存在误报的问题，其实现方案是1)配置分析目标并反编译程序源码；2)对反编译的结果进行控制流分析；3)用户根据控制流分析结果选择source函数，缩减分析目标；4)依据控制流分析结果进行数据流分析，产生漏洞路径；5)采取静态符号执行技术过滤数据流分析的结果，过滤后剩下的部分作为找到的漏洞，警告用户并打印漏洞路径。本发明在现有的静态污点分析技术的基础上扩展了漏洞挖掘的范围，减少了漏洞挖掘的内存消耗，提高了漏洞挖掘结果的精确度，可用于安卓应用程序漏洞的挖掘和研究。

关键词：漏洞挖掘控制流污点漏洞数据流分析分析目标内存消耗分析应用程序漏洞反编译程序符号执行技术过滤静态符号挖掘可用误报源码编译过滤打印警告配置应用研究

来源：评论

学校读者我要写书评

暂无评论

一种建站系统的漏洞审计方法、系统及相关装置

一种建站系统的漏洞审计方法、系统及相关装置

引用

作者：徐凯翼范渊 310000 浙江省杭州市滨江区西兴街道联慧街188号

本申请提供一种建站系统的漏洞审计方法，包括：获取建站系统，将建站系统转化为抽象语法树；将抽象语法树转化为程序控制流图；程序控制流图为一个入口和若干出口组成的有向图；对程序控制流图进行数据流分析，得到疑似漏洞；对疑似漏... 详细信息

标准号: CN110955898A

本申请提供一种建站系统的漏洞审计方法，包括：获取建站系统，将建站系统转化为抽象语法树；将抽象语法树转化为程序控制流图；程序控制流图为一个入口和若干出口组成的有向图；对程序控制流图进行数据流分析，得到疑似漏洞；对疑似漏洞去重，并生成漏洞信息报告。本申请实现了利用编译技术将网络引用代码转换成中间语言，以便于进行数据流分析。同时，有效考虑了函数之间的调用关系以及信息与控制流的约束性条件，能够对建站系统进行高效率的漏洞识别和检测，提高建站系统的安全性分析和漏洞的快速定位能力。本申请还提供一种建站系统的漏洞审计系统、计算机可读存储介质和漏洞审计终端，具有上述有益效果。

关键词：漏洞程序控制流图抽象语法树数据流分析申请计算机可读存储介质安全性分析代码转换调用关系快速定位漏洞识别漏洞信息审计系统系统转化中间语言审计高效率控制流有向图约束性去重编译引用终端检测转化出口网络

来源：评论

学校读者我要写书评

暂无评论

分析装置、分析方法以及分析程序

分析装置、分析方法以及分析程序

引用

作者：金井文宏矢田健秋山满昭高田雄太日本东京都

目的在于在不被攻击者避开的情况下对信息泄漏进行检测，其中，静态代码分析部(151)对在由Java代码安装的Android应用与由JavaScript代码安装的Web内容之间进行数据的收发的协作机构的Java代码的安装处和在该协作机构中能够由JavaScrip... 详细信息

标准号: CN108140089A

目的在于在不被攻击者避开的情况下对信息泄漏进行检测，其中，静态代码分析部(151)对在由Java代码安装的Android应用与由JavaScript代码安装的Web内容之间进行数据的收发的协作机构的Java代码的安装处和在该协作机构中能够由JavaScript代码调用且设定了返回值的方法进行确定，代码转换部(152)将在自变量中插入所确定的方法的返回值的模拟函数的调用代码插入到Java代码内，数据流分析部(153)使用模拟函数以及所确定的方法的自变量和返回值，对在由Java代码安装的Android应用与由JavaScript代码安装的Web内容之间收发的数据进行观测而对数据流进行分析。

关键词：自变量代码安装模拟函数协作机构返回收发静态代码分析代码转换部数据流分析数据流代码调用调用代码信息泄漏安装处应用避开观测攻击检测分析

来源：评论

学校读者我要写书评

暂无评论

一种用于大规模系统中状态相关缺陷的静态检测方法

一种用于大规模系统中状态相关缺陷的静态检测方法

引用

作者：左志强潘秋红陆申明王乙飞王林章李宣东 210023 江苏省南京市栖霞区仙林大道163号

本发明涉及一种用于大规模系统中状态相关缺陷的静态检测方法，首先将大规模系统中与状态相关的缺陷抽象为有限状态机表示的形式。其次基于符号执行技术产生过程间控制流执行树(ICFET)，并提出了一个新的基于区间的路径编码/解码算法来... 详细信息

标准号: CN109710538A

本发明涉及一种用于大规模系统中状态相关缺陷的静态检测方法，首先将大规模系统中与状态相关的缺陷抽象为有限状态机表示的形式。其次基于符号执行技术产生过程间控制流执行树(ICFET)，并提出了一个新的基于区间的路径编码/解码算法来表示路径约束。然后基于ICFET以上下文敏感和路径敏感的方式进行别名分析和数据流分析，跟踪每个指定类型的每个对象的流，以识别可能在对象上发生的事件序列。最后根据ICFET以及别名分析和数据流分析产生的程序图，进行基于约束的图可达性计算，如果可达边能够到达有限状态机中未定义或错误状态，则存在可以将一个对象或一组对象驱动到规范上的未定义或错误状态的事件序列，生成错误报告。

关键词：大规模系统数据流分析别名分析错误状态事件序列状态机错误报告符号执行解码算法静态检测路径编码路径约束敏感程序图可达性控制流组对象抽象驱动跟踪

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共78页 << < 68 69 70 71 72 73 74 75 76 77 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：