-
公开(公告)号：CN112100054A
公开(公告)日：2020-12-18
申请号：CN202010809497.7
申请日：2020-08-12
Applicant: 北京大学
Abstract: 本发明实施例提供了一种面向数据管控的程序静态分析方法和系统，所述方法和系统生成智能合约代码的字节码；解析所述字节码，构建并打印控制流图；将所述智能合约中的污点源，添加到所述控制流图的起始块的分析结果中，遍历所述控制流图，基于污点分析技术进行数据依赖分析，持续更新所述控制流图中的基本块的分析结果，返回最终分析结果；生成并返回分析报告。本发明实施例提供的方法和系统，针对面向数据的管控需求的智能合约，实现了基于污点分析技术的静态分析算法，能基于不同的数据管控策略来定义数据约束并进行静态分析，保障面向数据管控的区块链平台上智能合约的准确运行和数据管控。
-
公开(公告)号：CN111913700A
公开(公告)日：2020-11-10
申请号：CN202010587222.3
申请日：2020-06-24
Applicant: 北京大学(天津滨海)新一代信息技术研究院
Abstract: 本发明公开了一种云-端交互协议分析方法，包括：获取与应用行为相关的应用服务函数执行序列的堆栈信息；将所述堆栈信息输入预设的相似度分析模型进行特征分析，得到云-端交互协议函数的执行序列；获取云-端交互协议函数的执行序列依赖的对象；遍历分析所述对象的变量，得到云-端交互协议参数的必要集合；根据所述参数的必要集合以及预设交互模板，完成接口互操作。本发明可以得到云-端交互协议函数的执行序列，根据云-端交互协议函数的执行序列获取相关参数，进行参数分析，能够快速分析云-端交互协议，帮助开发者分析生成Android应用互操作接口，实现接口数据开放。
-
公开(公告)号：CN109240666B
公开(公告)日：2020-08-25
申请号：CN201811015368.X
申请日：2018-08-31
Applicant: 北京大学
IPC: G06F8/30
Abstract: 本发明公开了一种基于调用栈和依赖路径的函数调用代码生成方法及系统，通过对安卓应用运行进行监控，得到应用的行为反射运行时模型，并在行为反射运行时模型的运行时栈模型中标注包含目标数据的目标对象，并生成目标对象的所有函数调用集，再根据使用每一函数调用集生成函数调用代码的难度为每一函数调用集进行评分，并根据评分推荐函数调用集以生成函数调用代码。本发明能够在需要生成一条函数调用对应的代码时，对于每个未构造的新对象，快速找出对象之前调用的函数、以对象作为参数的函数以及函数调用栈，形成多个函数组合，并以此为基础为其推荐代码生成可能性高的方案，有效解决安卓应用微服务开发中执行序列复杂的难题。
-
公开(公告)号：CN110990448A
公开(公告)日：2020-04-10
申请号：CN201911032658.X
申请日：2019-10-28
Applicant: 北京大学
IPC: G06F16/2458 , H04L29/08
Abstract: 本发明提供了一种支持容错的分布式查询方法及装置，应用于P2P网络系统中，所述P2P网络系统包括多个节点；本发明通过维护具有高容错和负载均衡的树形结构的P2P网络系统，将查询条件广播给P2P网络系统中的节点，节点在收到查询请求后，将本地满足查询条件的数据返回给广播生成树中的父节点，父节点将所有孩子节点返回的数据和本地的查询结果做去重和结算，将处理后的结果返回给该节点的父节点，以层层汇总的方式将数据返回给根节点，以此可降低代理节点的负载，保证低延迟；并采用了延迟优化和邻居节点管理协议的方法，解决了针对上述查询功能的容错性问题。
-
公开(公告)号：CN110956463A
公开(公告)日：2020-04-03
申请号：CN201911033558.9
申请日：2019-10-28
Applicant: 北京大学
IPC: G06Q20/38
Abstract: 本发明提供了基于可扩展分布式查询系统的可信存证方法与系统，应用于P2P网络系统中，所述P2P网络系统包括多个节点；本发明实施例在存入的过程中采用有向无环图帐本结构配合nRW共识机制，解决了大规模共享交换过程中的监管问题；针对上述存入过程中存在的不可扩展的问题，本发明实施例还采用了跳数优化的方法，通过消息传输的跳数对P2P网络系统进行优化，构造具有较为平衡网络的P2P网络系统，从而把查询结果的处理运算均匀地分配到网络中的所有节点上，并根据节点的计算能力动态调节出度的大小，可在保证负载均衡的前提下，不对查询的延迟产生较大影响，保证了系统的可扩展性。
-
Patent Agency Ranking
公开(公告)号：CN110362363A
公开(公告)日：2019-10-22
申请号：CN201910498732.0
申请日：2019-06-10
Applicant: 北京大学
Abstract: 本发明公开了一种基于运行时模型实现对终端应用控制的方法，通过定义运行时模型上的操作以及模型片段在堆、栈区域影响的等价性，实现了复杂的应用行为模型的分解，可操作的模型片段，并基于分解的模型片段，建立行为模型与应用状态和应用代码的因果关联，实现了在终端应用运行时对其应用行为的指令级别的控制。
-
公开(公告)号：CN110362301A
公开(公告)日：2019-10-22
申请号：CN201910498200.7
申请日：2019-06-10
Applicant: 北京大学
Abstract: 本发明公开了一种终端应用行为反射的处理方法，通过行为解释器，生成一个完整、准确、详实的应用行为自述，即终端应用应用行为的运行时模型，克服了现有技术在动态、多变、难控的应用运行时的不足，实现了对终端应用应用行为的灵活、完整的监测，然后基于生成的运行时模型，定义运行时模型上的操作以及模型片段在堆、栈区域影响的等价性，实现了复杂的应用行为模型的分解，可操作的模型片段，并基于分解的模型片段，建立行为模型与应用状态和应用代码的因果关联，实现了在终端应用运行时对其应用行为的指令级别的控制。
-
公开(公告)号：CN109240700A
公开(公告)日：2019-01-18
申请号：CN201810737264.3
申请日：2018-07-06
Applicant: 北京大学
IPC: G06F8/41
Abstract: 本发明公开了一种关键代码定位方法与系统，本发明在关键代码定位阶段，通过程序插桩的方式采集预设的输入参数的场景下从接口参数约束代码的入口函数开始的函数调用关系，并据此对各函数进行关键代码分析，以定位出与接口参数相关的所有约束代码。本发明有效解决了现有技术在将信息系统中的数据和功能服务化的过程中，在编写处理程序时难以定位到关键代码的问题，帮助开发者快速定位到关键代码，从而帮助开发者更快筛选出真正跟参数约束密切相关的代码。
-
公开(公告)号：CN109240666A
公开(公告)日：2019-01-18
申请号：CN201811015368.X
申请日：2018-08-31
Applicant: 北京大学
IPC: G06F8/30
Abstract: 本发明公开了一种基于调用栈和依赖路径的函数调用代码生成方法及系统，通过对安卓应用运行进行监控，得到应用的行为反射运行时模型，并在行为反射运行时模型的运行时栈模型中标注包含目标数据的目标对象，并生成目标对象的所有函数调用集，再根据使用每一函数调用集生成函数调用代码的难度为每一函数调用集进行评分，并根据评分推荐函数调用集以生成函数调用代码。本发明能够在需要生成一条函数调用对应的代码时，对于每个未构造的新对象，快速找出对象之前调用的函数、以对象作为参数的函数以及函数调用栈，形成多个函数组合，并以此为基础为其推荐代码生成可能性高的方案，有效解决安卓应用微服务开发中执行序列复杂的难题。
-
公开(公告)号：CN109189469A
公开(公告)日：2019-01-11
申请号：CN201811012655.5
申请日：2018-08-31
Applicant: 北京大学
IPC: G06F8/72
Abstract: 本发明公开了一种基于反射的安卓应用微服务化方法及系统，通过对安卓应用运行进行监控，得到应用的行为反射运行时模型，并在其中的运行时栈模型中标注包含目标数据的目标对象，生成目标对象的所有函数调用集，再根据使用函数调用集生成函数调用代码的难度为每一函数调用集进行评分，并根据评分推荐函数调用集以生成可执行的函数调用代码。对不能在运行时栈模型中生成的目标对象，在运行时堆模型中生成目标对象的所有引用链，并构造类加载器，再根据被选择的目标对象引用链生成目标对象构造代码，最后再将生成的函数调用代码和目标对象构造代码结合起来包装成微服务接口。本发明能大大减少开发安卓应用微服务的时间，有效解决安卓应用微服务开发中执行序列复杂与数据依赖复杂两大难题。
-
-
-
-
-
-
-
-
-
Search Results
124
records
(took 0.037 seconds)
