https://firmwaredroid.github.io/posts/adding-a-static-analyzer/