ILVerify
ILVerify is an open-source tool developed by Microsoft. I started contributing to ILVerify as part of my internship at Dynatrace and continued developing it in my free time. This work mainly consisted of implementing verification rules in C# and porting them from an existing C++ code-base. Description The goal of the project is to create …