NullabilityInference

NullabilityInference copied to clipboard

Bumps [System.Data.SqlClient](https://github.com/dotnet/corefx) from 4.8.2 to 4.8.6. Release notes Sourced from System.Data.SqlClient's releases. .NET Core 2.1.0 RC1 Release Notes Known Issues Download and Install Repos CoreCLR CoreFX Core-Setup CLI Commits See...

dependabot[bot]

It would be more convenient to install and use this tool as [dotnet tool](https://docs.microsoft.com/en-us/dotnet/core/tools/global-tools).

KvanTTT

Hello! I tried running `InferNull` on the SharpZipLib source and it failed with a duplicate key exception. I added some debugging output to see what is going on, and it...

piksel

The primary use-case (how I ended up starting this project) was trying to annotate ILSpy's decompiler engine, which quickly felt like a task that could be automated. Timeline: * March...

dgrunwald

Even on .NET Core 3.1, not all system libraries are annotated. For example, the `System.Linq` methods are lacking annotations. This means a call like `collection.FirstOrDefault()` will: * incorrectly allow nullable...

dgrunwald

[return: NotNullIfNotNull(paramName)]

2

`[return: NotNullIfNotNull(paramName)]` is a semi-common attribute to use, especially in some code bases that like to use: `if (input == null) return null;` at the start of many functions. Unlike...

dgrunwald

Flow analysis

7

Currently our inference re-uses Roslyn's flow-analysis. However, this has some fundamental problems. ```csharp 9: Dictionary mapping = new Dictionary(); 11: Node? GetNode(T element) { 13: Node? node; 14: if (!mapping.TryGetValue(element,...

dgrunwald