Static analysis of MSIL based on the analysis-net infrastructure - View it on GitHub