当前位置：首页 > 科技成果 > 详细页

[00275537]一种基于JPF的Java代码SSA单路径的生成方法

交易价格： 面议

所属行业： 分析仪器

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201611233490.5

交易方式： 技术转让技术转让技术入股

联系人：南京大学

所在地：江苏南京市

登录后向技术服务商咨询

技术详细介绍

本发明公开了一种基于JPF的Java代码SSA单路径的生成方法，其特征是包括如下步骤步骤10输入.java文件和.jpf文件，存放在src目录下；步骤11对.java文件进行代码插桩，以便获得path