Augmenting static program analysis and design verification with pattern recognition

• Main Author: Sun, Ding
• Other Authors: Tan Hee Beng Kuan
• Format: Theses and Dissertations
• Language: English
• Published: 2014
• Subjects: DRNTU::Engineering::Computer science and engineering::Software::Software engineering
• Online Access: https://hdl.handle.net/10356/61780
• Institution: Nanyang Technological University

Static analysis examines program code to reason over all possible behaviours that might arise at run time. Such reasoning with full soundness and precision is in general not possible, as there may be arbitrarily many different user inputs or states. To enable the reasoning, static analysis usually u...