您的位置: 专家智库 > >

马森

作品数:15 被引量:0H指数:0
供职机构:北京大学更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 14篇专利
  • 1篇学位论文

领域

  • 5篇自动化与计算...
  • 1篇文化科学

主题

  • 7篇代码
  • 6篇依赖图
  • 5篇结点
  • 3篇点阵结构
  • 3篇自平衡
  • 3篇舰艇
  • 3篇分力
  • 3篇分析方法
  • 3篇杆件
  • 2篇递归
  • 2篇电子设备
  • 2篇用户
  • 2篇用户定义
  • 2篇识别方法
  • 2篇输入函数
  • 2篇损失函数
  • 2篇自动生成
  • 2篇组件
  • 2篇污染
  • 2篇污染类型

机构

  • 15篇北京大学
  • 4篇北京北大软件...

作者

  • 15篇马森
  • 7篇张世琨
  • 7篇高庆
  • 3篇陈浩森
  • 3篇张冬冬
  • 3篇方岱宁
  • 3篇赵启林
  • 3篇徐康
  • 3篇徐龙星
  • 2篇孙基男
  • 2篇叶蔚
  • 1篇肖华
  • 1篇岳贯集

年份

  • 3篇2021
  • 5篇2020
  • 1篇2019
  • 2篇2018
  • 1篇2015
  • 1篇2014
  • 2篇2013
15 条 记 录,以下是 1-10
排序方式:
安卓APK文件依赖组件识别方法及装置
本发明实施例提供一种安卓APK文件依赖组件识别方法及装置。其中,方法包括:解析安卓APK文件,获取代码文件和清单文件,根据代码文件和清单文件,获取安卓工程依赖的各组件的文件和package目录;将安卓工程依赖的各组件的文...
高庆马森王文祥张世琨朱何龙
文献传递
一种基于值依赖图的污染数据分析方法、系统与电子设备
本发明提供一种基于值依赖图的污染数据分析方法、系统与电子设备,所述方法包括:S1,将目标计算机程序转换为守卫值依赖图,并通过自定义外部输入函数摘要和外部输入函数摘要用户定义接口,在所述守卫值依赖图上确定多个污染传播起始点...
马森张世琨段富尧高庆
文献传递
一种区间信息分析方法
本发明提供一种区间信息分析方法,包括:S1,对于值依赖图中任一结点,根据该结点的任一前驱结点的区间信息和该结点与该前驱结点间的守卫条件,获取该前驱结点流入该结点的区间信息;S2,根据该结点的每一前驱结点流入该结点的区间信...
马森张世琨邵思豪高庆
文献传递
杆件与面板新型连接的复合材料点阵结构及其制备方法
本发明公开了一种杆件与面板新型连接的复合材料点阵结构及其制备方法。本发明的复合材料点阵结构包括:上面板、下面板、压杆及拉丝;其中,上面板和下面板为内表面相对的两面板;在上和下面板的内表面的相对应的位置设置有压杆槽,压杆的...
方岱宁赵启林陈浩森徐龙星张冬冬徐康马森
文献传递
安卓APK文件依赖组件识别方法及装置
本发明实施例提供一种安卓APK文件依赖组件识别方法及装置。其中,方法包括:解析安卓APK文件,获取代码文件和清单文件,根据代码文件和清单文件,获取安卓工程依赖的各组件的文件和package目录;将安卓工程依赖的各组件的文...
高庆马森王文祥张世琨朱何龙
文献传递
C/C++程序中不可达代码的静态检测方法及系统
本发明实施例提供一种C/C++程序中不可达代码的静态检测方法及系统,其中,所述方法包括:构建待检测C/C++程序的控制依赖图和值依赖图;在所述值依赖图上进行常量分析,并根据常量分析的结果更新所述控制依赖图;对更新后的所述...
马森张世琨马骁高庆郜成胜
文献传递
代码摘要自动化生成方法及装置
本发明实施例提供一种代码摘要自动化生成方法及装置,方法包括:基于代码摘要生成模型中的编码器分别对输入序列进行编码,获取输入序列的语义向量;基于代码摘要生成模型中的解码器对输入序列的语义向量进行解码,生成代码样本的函数名和...
叶蔚谢睿张世琨马森高庆孙基男
文献传递
一种区间信息分析方法
本发明提供一种区间信息分析方法,包括:S1,对于值依赖图中任一结点,根据该结点的任一前驱结点的区间信息和该结点与该前驱结点间的守卫条件,获取该前驱结点流入该结点的区间信息;S2,根据该结点的每一前驱结点流入该结点的区间信...
马森张世琨邵思豪高庆
文献传递
一种基于值依赖图的污染数据分析方法、系统与电子设备
本发明提供一种基于值依赖图的污染数据分析方法、系统与电子设备,所述方法包括:S1,将目标计算机程序转换为守卫值依赖图,并通过自定义外部输入函数摘要和外部输入函数摘要用户定义接口,在所述守卫值依赖图上确定多个污染传播起始点...
马森张世琨段富尧高庆
基于值依赖分析的C程序缺陷静态分析方法研究
在程序静态分析中,为达到精度与效率的有效平衡,基于缺陷模式的分析方法在大规模程序开发、维护中得到了广泛的应用。目前研究机构和业界普遍采用的缺陷分析方法主要包括;以控制流模型为基础的流敏感缺陷分析方法以及以值流模型为基础的...
马森
共2页<12>
聚类工具0