pawlos 

Meta-package for the CallgraphClosure family of property analyzers. Installing this pulls in all four current properties (MustNotAllocate, MustNotThrow, MustNotBlock, MustNotRecurse). Pre-release.

Attribute types ([MustNotAllocate], [MustNotThrow], [MustNotBlock], [MustNotRecurse], [AmortizedAllocation]) for the CallgraphClosure family of Roslyn property analyzers. Installed transitively when you add a... More information

Roslyn analyzer plus optional Cecil IL post-pass that enforces a [MustNotAllocate] contract on annotated methods. Flags allocations and unannotated calls across the transitive call closure. Part of the... More information

Roslyn analyzer plus optional Cecil IL post-pass that enforces a [MustNotRecurse] contract on annotated methods. Flags direct recursion plus any cycle reachable through the transitive call closure. Part of the... More information

Roslyn analyzer plus optional Cecil IL post-pass that enforces a [MustNotBlock] contract on annotated methods. Flags Thread.Sleep, Task.Wait/.Result, sync-over-async, and unannotated calls across the transitive... More information

Roslyn analyzer plus optional Cecil IL post-pass that enforces a [MustNotThrow] contract on annotated methods. Flags throws and unannotated calls across the transitive call closure. Part of the CallgraphClosure... More information

Cecil-based IL post-pass for the CallgraphClosure property analyzers. Resolves the edit-time-deferred CGC002 diagnostics by walking the IL of the built assembly graph. Installs as a `dotnet tool`. Pre-release:... More information