公开(公告)号：CN103279631A

公开(公告)日：2013-09-04

申请号：CN201310264462.X

申请日：2013-06-27

Applicant: 南京大学

Inventor： 王林章 ,  何剑涛 ,  赵建华 ,  李宣东 ,  陈志

IPC: G06F17/50

Abstract: 本发明提供了一种设计模式制导的爪哇代码评审方法，用户首先要提供待评审的爪哇（Java）程序的源代码及其设计时信息，对设计时信息中的类图进行分析，提取出设计模式信息，生成设计模式的各个参与角色的对应关系，根据该信息，利用预定义的规则模板，将规则模板实例化为一组应该在代码上满足的约束规则，读入这些规则对待评审的Java源代码的抽象语法树进行分析，判断其实现是否满足了设计时的约束，对于那些不满足约束的情况给出提示。本发明能够自动的对代码进行评审，减少整个评审过程中人工检查代码的工作量，提高代码的评审效率。

公开(公告)号：CN116340183A

公开(公告)日：2023-06-27

申请号：CN202310357127.8

申请日：2023-04-06

Applicant: 南京大学

Inventor： 卜磊 ,  谢准一 ,  郭骁 ,  孙羽 ,  马乐之 ,  赵建华 ,  李宣东

IPC: G06F11/36

Abstract: 本发明公开了一种基于路径遍历的代码验证方法、装置、介质及设备。该方法通过对循环体步进分解的方式，在控制流图中找出所有从程序入口至所述目标语句的路径长度不超过K的路径，组成路径集合；然后遍历路径，对所遍历的路径进行可达验证；在对路径进行可达验证时，通过对表达式简化计算将数组变量简化成数组元素，结合变量的约束替换，将关于数组变量的操作展开成关于数组元素的SMT约束表达式，从而使得SMT约束求解能够处理数组相关的变量，同时也降低了SMT约束求解的复杂度，免去了不可达路径片段的求解分析，从而提高了分析效率。

公开(公告)号：CN103645987A

公开(公告)日：2014-03-19

申请号：CN201310711611.2

申请日：2013-12-20

Applicant: 南京大学

Inventor： 王林章 ,  李永超 ,  赵建华 ,  李宣东 ,  陈志

IPC: G06F11/36

Abstract: 本发明提出一种基于代码生成和符号执行的访问控制策略测试自动生成方法，以针对XACML策略测试的实际需求，弥补现有测试XACML策略技术和工具的不足。该发明方法首先对用户指定受测试的XACML策略进行数值化处理，然后将受测试的XACML策略转换为语义等价的C代码表示形式；再通过符号执行工具生成C代码的测试输入，将生成的测试输入翻译为XACML请求；最后以生成的XACML请求作为策略评估器的输入，发送到XACML策略进行评估，得到授权结果。本发明方法利用符号执行测试技术，能够高效地生成充分覆盖XACML策略的测试请求，有利于发现XACML策略中的错误。

公开(公告)号：CN102298552A

公开(公告)日：2011-12-28

申请号：CN201110275897.5

申请日：2011-09-19

Applicant: 南京大学

Inventor： 张天 ,  陶永晶 ,  赵建华

IPC: G06F11/36

Abstract: 一种使用基于代码查询进行源代码插桩的方法，包括步骤：步骤10：打开一个工程；步骤11：通过在JSearch编辑器里输入相应的插桩命令；步骤12：工具运行JSearch命令，得到所有的插桩点定义步骤13：审查所有插桩点的定义：若发现带有错误的插桩点，则进入步骤14对其进行修改；没有发现带有错误的插桩点，则直接进入步骤15；步骤14：修改插桩的定义至正确；步骤15：将插桩点与原源文件合并生成新源文件；本发明为明确定义的代码查询和插桩命令，参数化的插桩语句模板，插桩代码可视化，自动插桩高效性等。