https://www.appclonescript.com/what-is-procedure-of-code-verification-static-analysis/