Abstract: Basing on program slicing and splitting slice, this paper constructs path-sensitive based program slicing to split software into open and hiding models, so it can avoid hacker getting copy of the whole software and protect the software right from pirate. And it verifies the statements of hiding slices and controls software flow, and keeps the hiding methods from illegally calling. Experimental results show that path-sensitive based hiding program slice improves the security for software right protection.

Key words: path-sensitive, hiding program slice, statement verification

摘要： 研究了程序切片及其分解技术，通过构造软件敏感路径上的程序切片，将软件分解成公开和隐藏两个模块，防止黑客获得原软件的完整拷贝，保护软件的版权。对隐藏模块的执行状态进行透明检测，控制软件的流程，防止用户非法调用隐藏模块中的方法。实例分析表明，基于敏感路径检测的隐藏程序切片技术具有较高的安全性。

关键词: 敏感路径, 隐藏程序切片, 状态检测

CLC Number: 

• TP309