In the previous blog post, we talked about what the basic idea behind static analysis is and how it can…