专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果904313个,建议您升级VIP下载更多相关专利
  • [发明专利]一种检测内存乱序的方法及装置-CN202010467006.5在审
  • 解庆 - 华为技术有限公司
  • 2020-05-28 - 2021-12-03 - G06F12/02
  • 本发明公开了一种检测内存乱序的方法及装置,该方法包括:获取第一代码,识别出该第一代码对应的内存地址中的第一内存地址,该第一内存地址为通过静态分析识别出的存在冲突可能性的内存地址;根据该第一代码生成可执行的二进制代码,执行该二进制代码并确定该第一内存地址中是否存在冲突的内存地址;当该第一内存地址中存在冲突的内存地址时,获取与该冲突的内存地址对应的第二代码。在本申请提供的这种方法中,采用静态分析的方法识别出第一内存地址。当执行二进制代码的时,动态验证该第一内存地址中是否存在冲突的内存地址。
  • 一种检测内存方法装置
  • [发明专利]一种面向数据管控的程序静态分析方法和系统-CN202010809497.7有效
  • 黄罡;蔡华谦;黄家梅;姜海鸥 - 北京大学
  • 2020-08-12 - 2021-07-20 - G06F11/36
  • 本发明实施例提供了一种面向数据管控的程序静态分析方法和系统,所述方法和系统生成智能合约代码的字节码;解析所述字节码,构建并打印控制流图;将所述智能合约中的污点源,添加到所述控制流图的起始块的分析结果中,遍历所述控制流图,基于污点分析技术进行数据依赖分析,持续更新所述控制流图中的基本块的分析结果,返回最终分析结果;生成并返回分析报告。本发明实施例提供的方法和系统,针对面向数据的管控需求的智能合约,实现了基于污点分析技术的静态分析算法,能基于不同的数据管控策略来定义数据约束并进行静态分析,保障面向数据管控的区块链平台上智能合约的准确运行和数据管控
  • 一种面向数据程序静态分析方法系统
  • [发明专利]一种基于xml测试脚本代码静态检查方法-CN202210978519.1在审
  • 潘崇斌 - 浙江众合科技股份有限公司
  • 2022-08-16 - 2022-12-06 - G06F11/36
  • 本发明公开了一种基于xml测试脚本代码静态检查方法,包括如下步骤:S1、构建检查规则库;S2、加载待检测脚本代码文件并进行预处理得到若干脚本代码子文件;S3、依次匹配脚本代码子文件的检查规范列表;S4、根据检测规范表的检测逻辑依次对脚本代码子文件进行测试;S5、若测试发生故障,执行S6;若测试未发生故障,执行S9;S6、对故障区段信息进行故障分析和修正后,执行回归静态检查;S7、根据设定执行次数阈值重复执行S5‑S6,若重复次数超过阈值,则执行S8;S8、将出现测试故障的脚本代码子文件的标号关联至故障共享容器;S9、对若干脚本代码子文件进行编织得到目标脚本代码文件。方案显著提高了测试脚本代码检测效率,避免了漏查的问题。
  • 一种基于xml测试脚本代码静态检查方法
  • [发明专利]基于路径剖析及代码插桩的智能合约威胁检测与防护方法-CN202310291329.7在审
  • 何道敬;丁柯;朱珊珊 - 华东师范大学;上海境山科技有限公司
  • 2023-03-23 - 2023-06-30 - H04L9/40
  • 本发明公开了一种基于路径剖析及代码插桩的智能合约威胁检测与防护方法,该方法通过正则方式预处理智能合约源代码;依据源代码静态分析得到的静态单赋值形式节点构建智能合约控制流图;根据控制流图是否存在循环,选择路径剖析算法对路径编码,得到探针语句与待插桩边;基于待插桩边的探针语句来对源代码插桩,并插入初始化定义代码及安全防护代码;将插桩后的源代码部署在以太坊模拟环境上,测试并获取安全路径集合,再将加入安全路径集合的源代码部署至以太主网;依据以太主网中智能合约日志记录的路径编码,结合控制流图与探针信息进行溯源;从而精准跟踪智能合约有环与无环执行路径,提升检测准确率,降低了执行Gas开销,溯源异常源代码
  • 基于路径剖析代码智能合约威胁检测防护方法
  • [发明专利]信息处理程序、信息处理方法以及信息处理装置-CN202080101011.2在审
  • 尾上聪;片冈正弘;百足勇人;中野太智 - 富士通株式会社
  • 2020-06-05 - 2023-01-31 - G06F8/75
  • 本发明的信息处理装置通过对源代码执行词素解析,将源代码分割为多个保留字和多个变量。信息处理装置通过基于定义有保留字与静态代码的关系的静态词典,对源代码的保留字分配与保留字对应的静态代码,对源代码的变量分配动态代码,来生成压缩代码序列。信息处理装置对变量、分配给变量的动态代码以及变量的属性建立对应关系登记到动态词典中。信息处理装置通过基于与动态代码对应的属性,将动态代码嵌入到矢量空间中,通过将矢量分配给压缩代码序列的动态代码,将预先决定的矢量分配给压缩代码序列的静态代码,来计算源代码的矢量。
  • 信息处理程序方法以及装置
  • [发明专利]一种源代码的执行行为的监控方法和系统-CN202211324987.3有效
  • 张永选;余顺琴;洪如霞;孔婷;余宏;来敏健 - 豫章师范学院
  • 2022-10-27 - 2023-08-29 - G06F11/36
  • 本发明公开了一种源代码的执行行为的监控方法和系统,属于程序分析领域。该方法包括:获取目标源代码分析目标源代码,以获得语言类型;采用静态解析器,将目标源代码从原语言类型转换为C语言的代码;在模拟执行环境中执行C语言的代码,并在模拟执行过程中收集每一层循环的执行细节,以生成监控列表;调用可视化界面显示所述监控列表,可适用于不同语言的代码监控,且不需要修改程序源码;通过在模拟执行环境中执行C语言的代码,并在模拟执行过程中收集每一层循环的执行细节,以生成监控列表,调用可视化界面显示所述监控列表
  • 一种源代码执行行为监控方法系统
  • [发明专利]目标检测代码确定方法以及装置-CN202310660800.5在审
  • 刘学章 - 浙江网商银行股份有限公司
  • 2023-06-05 - 2023-09-01 - G06F21/57
  • 本说明书实施例提供目标检测代码确定方法以及装置,其中所述目标检测代码确定方法包括:确定目标程序的程序入口,根据所述程序入口的入口参数确定程序路径;根据所述程序路径执行所述目标程序,并通过对所述目标程序在执行过程中的对象以及函数进行监听,确定所述目标程序中的第一初始检测代码;构建所述目标程序的对象关系图;根据图查询算法对所述对象关系图进行遍历,确定所述目标程序中的第二初始检测代码;根据所述第一初始检测代码以及所述第二初始检测代码,确定目标检测代码因此,基于动态分析确定的第一初始检测代码静态分析确定的第二初始检测代码,确定目标检测代码的方法有利于高效、准确地对漏洞所依赖的程序代码进行检测。
  • 目标检测代码确定方法以及装置
  • [发明专利]程序代码的转换方法、装置、电子设备及存储介质-CN202210748727.2在审
  • 李奕希 - 平安银行股份有限公司
  • 2022-06-28 - 2022-09-23 - G06F8/51
  • 本申请提供了程序代码的转换方法、装置、电子设备及存储介质,转换方法包括:获取待转换的程序代码;根据待转换的程序代码相对应的当前数据格式,确定出待转换的程序代码对应的数据转换类下的目标静态函数;其中,目标静态函数为可扩展标记语言与字符串互换的静态函数、json对象与键值对互换的静态函数、字典类型与键值对互换的静态函数以及文件名与类名互换的静态函数的一种;基于目标静态函数,对待转换的程序代码的当前数据格式进行格式转换,确定出转换后的程序代码;将转换后的程序代码发送至相对应的数据格式存储数据库中进行存储,以便运行转换后的程序代码,提高了对程序代码进行数据格式转换的效率。
  • 程序代码转换方法装置电子设备存储介质

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top