I was using Code Contracts in several projects and I was really satisfied with its static checker and propagated it across other developers. With new Visual Studio 2017 and .NET Core projects, I found two major drawbacks, which got me to look for an alternative. The first drawback is that Code Contracts aren't supported in Visual Studio 2017 and later versions, although there is a workaround for the static checker. The second drawback is that Code Contracts don't support .NET Core projects.
I would like to use static checking in my current projects (some of them are .NET Core based, others not) and I am looking for an alternative. One of the possible alternatives is Fody, but I don't have any experience with this IL assembly modifier.
Do you know about any better alternative tool for static checking?