WSSecTool: A Web Service Security Analysis Tool Based on Program Slicing

With the development of web service, more and more attention has been drawn to web service in recent years. However, the damage caused by service security problems is becoming more and more serious nowadays. This paper develops a web service security analysis tool, WSSecTool, which is based on program slicing. This tool includes three modules namely slicing module, safety publishing module and testing module. Slicing module analyzes source codes of web service to generate method dependence graph (MDG). After MDG is generated, the tool slices MDG to detect the unsafe methods and the spread of them. Safety publishing module helps to hide unsafe methods to make them invisible to outer users after publishing. Testing module can test the services published by this tool to validate the correctness and feasibility of our analysis method. The experiments show that our tool is effective and practical.