@aesmail @noelrap Microsoft has retrofitted null-anotations to C# which one could gradually introduce. We implemented this on a codebase of a few hundred thousand lines and caught quite some bugs (though not very bad ones as the product was humming along on production -- but that might just be because bad ones were already fixed after production crashes)