Maintainer of the list here. Thanks for mentioning it.
I have not heard of Microsoft's analyze. Could you paste a link here? I will add it to the list, then. Alternatively you could send a pull request to the repository. ;)
https://github.com/analysis-tools-dev/static-analysis