-
公开(公告)号：CN111062031A
公开(公告)日：2020-04-24
申请号：CN201911050708.7
申请日：2019-10-31
Applicant: 国家电网有限公司 , 北京大学 , 南瑞集团有限公司 , 南京南瑞信息通信科技有限公司 , 国网江苏省电力有限公司
IPC: G06F21/52 , G06F16/901
Abstract: 本发明实施例提供一种缓冲区溢出分析方法及装置。所述方法包括：基于程序的控制流图，通过静态污点分析确定被污染的变量；根据所述被污染的变量，确定以所述被污染的变量作为数组下标的数组表达式；根据所述数组表达式，通过后向数据流分析确定所述被污染的变量的边界限制值；判断外部输入变量与所述边界限制值的大小，若所述外部输入变量大于或等于所述边界限制值，则确认缓冲区溢出。本发明实施例提供的缓冲区溢出分析方法及装置可快速准确地判断出缓冲区溢出。
-
公开(公告)号：CN114510722B
公开(公告)日：2023-01-06
申请号：CN202210147761.4
申请日：2022-02-17
Applicant: 北京大学
Abstract: 本发明涉及计算机科学技术领域，尤其涉及一种增量代码的静态检测方法及检测系统。静态检测方法具体包含以下步骤：识别所述待测代码的增量部分，构建抽象语法树，合成待测代码的函数调用图，构建增量部分的值依赖图和待测代码的值依赖图，对待测代码值依赖图进行漏洞检测得增量代码的静态检测结果；还包含步骤：将原代码进行静态分析和将原代码和增量代码的静态检测结果结合得到待测代码的静态检测结果。本发明解决了现有技术中静态检测方法精度差容易漏报或误报及代码更新后全检测周期长、资源消耗大、经济性差的问题，具有以下优点：大幅减少分析时间和内存，效率高，成本低和精度高的特点。
-
Patent Agency Ranking
公开(公告)号：CN112000339B
公开(公告)日：2021-09-21
申请号：CN202010657866.5
申请日：2020-07-09
Applicant: 北京大学
Abstract: 本发明实施例提供一种安卓APK文件依赖组件识别方法及装置。其中，方法包括：解析安卓APK文件，获取代码文件和清单文件，根据代码文件和清单文件，获取安卓工程依赖的各组件的文件和package目录；将安卓工程依赖的各组件的文件和package目录与Android SDK部分中各组件的jar的反编译结果进行比较，获取Android SDK部分所依赖的组件；将安卓工程依赖的各组件的文件和package目录与非Android SDK部分的各package依赖的jar的反编译结果进行比较，获取非Android SDK部分所依赖的组件。本发明实施例提供的安卓APK文件依赖组件识别方法及装置，能降低误识别率。
-
公开(公告)号：CN114510722A
公开(公告)日：2022-05-17
申请号：CN202210147761.4
申请日：2022-02-17
Applicant: 北京大学
Abstract: 本发明涉及计算机科学技术领域，尤其涉及一种增量代码的静态检测方法及检测系统。静态检测方法具体包含以下步骤：识别所述待测代码的增量部分，构建抽象语法树，合成待测代码的函数调用图，构建增量部分的值依赖图和待测代码的值依赖图，对待测代码值依赖图进行漏洞检测得增量代码的静态检测结果；还包含步骤：将原代码进行静态分析和将原代码和增量代码的静态检测结果结合得到待测代码的静态检测结果。本发明解决了现有技术中静态检测方法精度差容易漏报或误报及代码更新后全检测周期长、资源消耗大、经济性差的问题，具有以下优点：大幅减少分析时间和内存，效率高，成本低和精度高的特点。
-
公开(公告)号：CN112798822B
公开(公告)日：2022-06-17
申请号：CN202110042197.5
申请日：2021-01-13
IPC: G01Q60/24
Abstract: 本发明提供一种二维纳米材料弯曲刚度及其与基底之间界面粘附能的测试方法，包括：将二维纳米材料粘附在第一基底表面，转移所述二维纳米材料到第二基底表面，得到纳米液泡；根据形函数对所述纳米液泡进行形态分析，得到所述形函数中的待定参数值；根据所述形函数中的待定参数值，结合力学模型对所述纳米液泡进行分析，得到所述二维纳米材料的弯曲刚度；结合界面粘附能模型进行分析，得到所述二维纳米材料与基底之间的界面粘附能。所述测试方法样品制备过程简单、测试速度快，对不同材料具有很强的适用性，为二维纳米材料弯曲刚度及其与基底之间界面粘附能的测量提供了一种新方法，丰富了材料力学的研究体系。
-
公开(公告)号：CN112798822A
公开(公告)日：2021-05-14
申请号：CN202110042197.5
申请日：2021-01-13
IPC: G01Q60/24
Abstract: 本发明提供一种二维纳米材料弯曲刚度及其与基底之间界面粘附能的测试方法，包括：将二维纳米材料粘附在第一基底表面，转移所述二维纳米材料到第二基底表面，得到纳米液泡；根据形函数对所述纳米液泡进行形态分析，得到所述形函数中的待定参数值；根据所述形函数中的待定参数值，结合力学模型对所述纳米液泡进行分析，得到所述二维纳米材料的弯曲刚度；结合界面粘附能模型进行分析，得到所述二维纳米材料与基底之间的界面粘附能。所述测试方法样品制备过程简单、测试速度快，对不同材料具有很强的适用性，为二维纳米材料弯曲刚度及其与基底之间界面粘附能的测量提供了一种新方法，丰富了材料力学的研究体系。
-
公开(公告)号：CN112000339A
公开(公告)日：2020-11-27
申请号：CN202010657866.5
申请日：2020-07-09
Applicant: 北京大学
Abstract: 本发明实施例提供一种安卓APK文件依赖组件识别方法及装置。其中，方法包括：解析安卓APK文件，获取代码文件和清单文件，根据代码文件和清单文件，获取安卓工程依赖的各组件的文件和package目录；将安卓工程依赖的各组件的文件和package目录与Android SDK部分中各组件的jar的反编译结果进行比较，获取Android SDK部分所依赖的组件；将安卓工程依赖的各组件的文件和package目录与非Android SDK部分的各package依赖的jar的反编译结果进行比较，获取非Android SDK部分所依赖的组件。本发明实施例提供的安卓APK文件依赖组件识别方法及装置，能降低误识别率。
-
-
-
-
-
-
Search Results
7
records
(took 0.02 seconds)
