Semantic-based vulnerability analysis of software

Yuekang Li. Semantic-based vulnerability analysis of software. PhD thesis, Nanyang Technological University, Singapore, 2019. [doi]

Abstract

Abstract is missing.