Static Analysis (SA) is the practice of examining computer program source code for errors or
vulnerabilities outside the compiler's capabilities. To carry out Static Analysis on computer …