Contrary to all tests or analysis against a running application, that names dynamic analysis, the static analysis focuses on our code when it is still at the design stage (when we develop within Visual Studio). In other words, it is the analysis of our code design (of the code, not of the application).
Static analysis helps to understand worst practices, such as an incorrect implementation of an event handler or the incorrect extension of the
IDisposable interface within our class.
Static program analysis also helps with finding common mistakes and basic forgetfulness.
A lot of frameworks and methodologies actually exist when doing static program analysis. In this chapter, we will focus on the implementation available within ...