-
公开(公告)号：CN104866417B
公开(公告)日：2018-01-02
申请号：CN201410064881.3
申请日：2014-02-25
申请人： 华为技术有限公司 , 中国科学院计算技术研究所
IPC分类号： G06F11/36
摘要： 本发明实施例提供一种路径敏感检测方法和装置，本发明路径敏感检测方法，包括：根据值流错误类型为变量设置初始的与错误相关的属性，沿着定值引用链传播初始的与错误相关的属性，在潜在错误语句处识别变量的与错误相关的属性，根据在潜在错误语句处识别的变量的与错误相关的属性，确定潜在错误语句为可能错误语句，根据可能错误语句获得路径敏感检测的语句输入集，根据路径敏感检测的语句输入集进行路径敏感检测。从而解决现有技术中检测值流错误存在的可扩展性并不理想，无法有效应用于大规模的应用程序的问题，通过减少路径敏感检测的语句输入集降低了检测开销，能够有效应用于大规模的应用程序。
-
公开(公告)号：CN106202102A
公开(公告)日：2016-12-07
申请号：CN201510226374.X
申请日：2015-05-06
申请人： 华为技术有限公司 , 中国科学院计算技术研究所
IPC分类号： G06F17/30
CPC分类号： G06F17/30463 , G06F17/30 , G06F17/30864
摘要： 本发明实施例提供一种批量数据查询方法和装置，数据查询服务器接根据N条查询语句中的操作符和操作数确定N条查询语句的操作数的符号标识，符号标识包括操作数的版本号，然后根据N条查询语句的操作数的版本号确定N条查询语句之间的依赖关系，进而根据N条查询语句之间的依赖关系以及预设的优化规则对N条查询语句进行查询间优化。由于N条查询语句的操作数的符号标识是固定的，不会随着输入的查询语句的不同而变化，因此，本发明实施例确定的符号数的符号标识可以适用所有的输入集，并且不需要执行任何查询语句的任何部分、且无需监控查询语句执行过程中的数据访问和更新情况，提高了查询间优化的效率，并且降低了查询间优化的开销。
-
公开(公告)号：CN104281519A
公开(公告)日：2015-01-14
申请号：CN201310284541.7
申请日：2013-07-08
申请人： 华为技术有限公司 , 中国科学院计算技术研究所
IPC分类号： G06F11/36
CPC分类号： G06F11/3608
摘要： 本发明实施例公开了程序的错误检测方法及设备，应用于计算机技术领域。程序的错误检测设备会对待分析程序进行分析得到的程序分析信息，并根据程序分析信息获取待分析程序中各个定值点的错误属性格值，并对待分析程序中错误属性格值具有危险属性的定值点对应的引用点进行错误提示。主要是将对程序错误的检测变换为错误属性格值的计算，简化了错误检测的过程，可以提高程序的错误检测效率；且在得到程序分析信息时程序的错误检测设备可以考虑到待分析程序的多种敏感性，得到每个程序点的完整信息，使得得到的错误属性格值也比较准确，提高了对待分析程序的错误检测精度。
-
公开(公告)号：CN104252346A
公开(公告)日：2014-12-31
申请号：CN201310262639.2
申请日：2013-06-27
申请人： 华为技术有限公司 , 中国科学院计算技术研究所
CPC分类号： G06F8/45
摘要： 本发明公开了一种并发分析的方法及装置，涉及程序分析技术领域，在对PEG上不同节点间的并发分析过程中，简化了处理流程，提高了并发分析的效率。本发明的具体实施例包括：获取PEG中的根节点，将该根节点以及PEG中入度为0的节点压入预设栈，并获取该预设栈的栈顶节点组成待处理序列，进而确定当前处理节点在该待处理序列中的位置，并在待处理序列的该位置之后查找包含于工作集中的节点，从而减少并发分析中的迭代次数。本发明实施例主要应用于并发分析流程中。
-
公开(公告)号：CN106202102B
公开(公告)日：2019-04-05
申请号：CN201510226374.X
申请日：2015-05-06
申请人： 华为技术有限公司 , 中国科学院计算技术研究所
IPC分类号： G06F16/2453 , G06F16/2455
摘要： 本发明实施例提供一种批量数据查询方法和装置，数据查询服务器接根据N条查询语句中的操作符和操作数确定N条查询语句的操作数的符号标识，符号标识包括操作数的版本号，然后根据N条查询语句的操作数的版本号确定N条查询语句之间的依赖关系，进而根据N条查询语句之间的依赖关系以及预设的优化规则对N条查询语句进行查询间优化。由于N条查询语句的操作数的符号标识是固定的，不会随着输入的查询语句的不同而变化，因此，本发明实施例确定的符号数的符号标识可以适用所有的输入集，并且不需要执行任何查询语句的任何部分、且无需监控查询语句执行过程中的数据访问和更新情况，提高了查询间优化的效率，并且降低了查询间优化的开销。
-
公开(公告)号：CN105677683B
公开(公告)日：2018-12-14
申请号：CN201410673523.2
申请日：2014-11-21
申请人： 华为技术有限公司 , 中国科学院计算技术研究所
IPC分类号： G06F17/30
摘要： 本发明实施例提供一种批量数据查询方法和装置，通过获取多条查询语句对应的多棵逻辑查询计划树，根据每棵逻辑查询计划树的各操作符将多棵逻辑查询计划树划分为多个查询组，每个查询组中的逻辑查询计划树之间具有下述关系：查询间写读依赖关系、操作符重叠关系或操作数重叠关系，然后，对每个查询组内的逻辑查询计划树进行查询间优化，根据优化后的多棵逻辑查询计划树生成对应的多棵物理查询计划树，最后，根据多棵物理查询计划树执行物理查询得到多条查询语句的查询结果。所述方法通过对多棵逻辑查询计划树进行分组，提高了查询组内的逻辑查询计划树之间的优化机会，通过对查询组内的逻辑查询计划树进行查询间优化，提高了批量数据查询的效率。
-
公开(公告)号：CN104657257B
公开(公告)日：2017-11-17
申请号：CN201310589292.2
申请日：2013-11-20
申请人： 华为技术有限公司 , 中国科学院计算技术研究所
IPC分类号： G06F11/36
摘要： 本发明实施例提供一种指针分析方法及装置。本发明提供的指针分析方法，包括：读取待分析的多线程程序中的语句信息；根据所述程序的语句信息对所述程序进行指针分析，获得所述程序的共享信息，所述共享信息包括共享量、指针指向集和访存行为，其中，共享量包括全局共享量和局部共享量；根据所述程序的共享信息对所述共享量进行补偿分析。本发明实施例解决现有技术中对多线程程序的指针分析仅局限于程序中的全局共享量，分析结果不全面的问题，提高了指针分析的精度，并相应地提高了程序优化的实施范围和效果。
-
公开(公告)号：CN104679484A
公开(公告)日：2015-06-03
申请号：CN201310617816.4
申请日：2013-11-27
申请人： 华为技术有限公司 , 中国科学院计算技术研究所
摘要： 本发明公开了一种并发分析方法及装置，包括：获取程序控制流图，其中，在所述程序控制流图中，线程创建节点为所述线程创建节点所创建的线程的开始节点的直接前驱节点，计算程序控制流图中每个线程的开始节点的初始并发节点集合、每个线程创建节点的直接后继节点的初始并发节点集合、以及每个线程终止节点的直接后继节点的初始无法并发节点集合，初始化程序控制流图的首节点的并发节点集合，从程序控制流图的首节点开始向下遍历，在遍历过程中，根据继承规则计算出遍历到的每个节点的并发节点集合，由于一次遍历即得到每个节点的并发节点集合，运算简单且运算量小，实现了提高并发分析效率的目的。
-
公开(公告)号：CN103902273A
公开(公告)日：2014-07-02
申请号：CN201210584770.6
申请日：2012-12-28
申请人： 华为技术有限公司 , 中国科学院计算技术研究所
IPC分类号： G06F9/44
摘要： 本发明的实施例提供一种无损压缩系统依赖图的方法及装置，涉及计算机领域，能够实现系统依赖图的无损压缩，并降低系统依赖图的规模，从而降低以系统依赖图为基础的切片算法的开销。其方法为：首先提取程序中所有变量之间的等价关系，而后通过该等价关系将程序中所有变量分为不同的等价类，并根据这些等价类为系统依赖图中的节点设置键值，而后根据系统依赖图中的节点的键值压缩系统依赖图。本发明实施例用于对系统依赖图进行压缩。
-
公开(公告)号：CN103902273B
公开(公告)日：2017-07-07
申请号：CN201210584770.6
申请日：2012-12-28
申请人： 华为技术有限公司 , 中国科学院计算技术研究所
IPC分类号： G06F9/44
摘要： 本发明的实施例提供一种无损压缩系统依赖图的方法及装置，涉及计算机领域，能够实现系统依赖图的无损压缩，并降低系统依赖图的规模，从而降低以系统依赖图为基础的切片算法的开销。其方法为：首先提取程序中所有变量之间的等价关系，而后通过该等价关系将程序中所有变量分为不同的等价类，并根据这些等价类为系统依赖图中的节点设置键值，而后根据系统依赖图中的节点的键值压缩系统依赖图。本发明实施例用于对系统依赖图进行压缩。
-
-
-
-
-
-
-
-
-
搜索结果
30 条记录 (耗时 0.094 秒)
