model checker, Software, static analysis, validation, verification

Static program analysis: Motivation and Techniques

Static analysis is a method to extract certain information about the program without actually running it. Extracted information is later used for white-box testing. In this blog post, we will first have a look at different types of information that we can extract using static analysis. Later, we will have a compendious overview of different techniques for static program analysis. Motivation There are broadly 2 categories of information, based on their usage, that we can extract: Proscriptive…

Continue Reading