Title :
Implementation of migration based on static analysis tool OINK
Author :
Cai, Jianping ; Yang, Ximin
Author_Institution :
School of Software Engineering, Beijing University of Technology, China
Abstract :
OINK is a C and C++ static analysis tool for Unix-like platform. It can be used for programmers to analyze and understand code, or can be used for software testers to test code and protect software quality. In addition, it is good at data flow analysis, and can be convenient to be re-used. This paper analyzes the implementation process of OINK in detail at first, and then studies the software migration skills in order to extend the application of OINK. Windows platform is widely used but quite different from Unix-like platform, and this paper also studies how to migrate the OINK from Unix-like platform to Windows platform.
Keywords :
Computer languages; Flexible printed circuits; Presses; Software; Software engineering; USA Councils; Windows; OINK; program analysis; software migration; static analysis tool; testing;
Conference_Titel :
Information Science and Engineering (ICISE), 2010 2nd International Conference on
Conference_Location :
Hangzhou, China
Print_ISBN :
978-1-4244-7616-9
DOI :
10.1109/ICISE.2010.5690419