Development of software testing and analysis tools : Part A

• Main Author: Ng, Qing Xiang.
• Other Authors: Tan Hee Beng Kuan
• Format: Final Year Project
• Language: English
• Published: 2009
• Subjects: DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
• Online Access: http://hdl.handle.net/10356/15977
• Institution: Nanyang Technological University

The grand scope of this project is to create a set of analysis tools to detect infeasible paths in compiled programs. This set of tools is based on an existing open source program slicing library named, T.J. Watson Libraries for Analysis (WALA). Infeasible paths are traditionally costly to detect...