本发明提供了一种利用数据流分析算法分析C代码中的内存安全的方法。将指令定义成形式化后的指令集，进行如下操作，静态分析出代码需要并给指针添加标记；将代码转化成抽象语法树，并对其每一个指令进行类型检查，同时对涉及到的指针权限转移或借用语句进...

本发明提供了一种通过影子内存页实现内存数据库的事务的方法，包括步骤如下：A，服务器启动；B，初始化持久内存；C，开启事务；D，修改内存状态；E，中止事务并丢弃对内存的修改；F，提交事务并持久化内存。其中本发明的有益效果是：采用持久化内存...

本发明提供了一种将数据通过请求日志的形式持久化到内存数据库中的方法，包括如下步骤：A，服务器启动；B，服务器端接收到客户端请求；C，服务器端处理请求并获取或修改内存数据库中的数据；D，服务器端将请求记录到日志中。其中本发明的有益效果是：...

本发明提供了一种基于补丁文件获取补丁间差异的算法。步骤如下，A、生成工作树，工作树包括主分支，原补丁旧版本分支1，原补丁新版本分支2，原补丁附带标注信息的版本分支3，目标补丁旧版本分支1