In principle static analysis is possible. (Note: WIP)

https://github.com/ityonemo/clr