Program Analysis Notes 1

1 Introduction What is static program analysis(SPA)? Let's have an overview of Programming Languages(PL) before talking about SPA, PL can be divided into three parts: Theory Language Design Type System Semantics and Logics Environment Compile...