model checker, Software, static analysis, validation, verification

Static program analysis: Motivation and Techniques

Static analysis is a method to extract specific information about the program without actually running it. The extracted information can later be used for white-box testing. In this blog post, we will first have a look at different types of information that we can obtain using static analysis. Later, we will have a comprehensive overview of different techniques for static program analysis. Motivation There are broadly two categories of information, based on their usage, that we can extract: Proscriptive information and Descriptive information[1]. Proscriptive information is obtained when we statically analyze the program behavior against a set of prescribed rules.…

Continue Reading