CallgraphClosure.ILCheck 0.1.0-preview1

.NET 10.0 This package targets .NET 10.0. The package is compatible with this framework or higher.
This is a prerelease version of CallgraphClosure.ILCheck.
There is a newer prerelease version of this package available.
See the version list below for details. 
dotnet tool install --global CallgraphClosure.ILCheck --version 0.1.0-preview1
This package contains a .NET tool you can call from the shell/command line. 
dotnet new tool-manifest
                    


                            if you are setting up this repo
                        

                    

                
dotnet tool install --local CallgraphClosure.ILCheck --version 0.1.0-preview1
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=CallgraphClosure.ILCheck&version=0.1.0-preview1&prerelease
                    


                    

                
nuke :add-package CallgraphClosure.ILCheck --version 0.1.0-preview1

CallgraphClosure.ILCheck

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 — catches violations that cross assembly boundaries where the Roslyn analyzer can't see the source.

Pre-release. This 0.1.0-preview1 release currently supports [MustNotAllocate] only. Support for [MustNotThrow], [MustNotBlock], and [MustNotRecurse] lands in subsequent releases. The Roslyn analyzers for those properties already exist as separate packages — they just don't have IL-pass coverage yet.

Install

dotnet tool install --global CallgraphClosure.ILCheck --prerelease

Use

cgc-ilcheck path/to/YourAssembly.dll
cgc-ilcheck --amortized-file bcl-amortized.json path/to/YourAssembly.dll

The --amortized-file flag accepts a JSON list of fully-qualified method names whose allocations are amortized and should not trigger CGC003. See the repo's src/CallgraphClosure.ILCheck.Cli/bcl-amortized.json for a starter list covering common BCL hot-path helpers.

Exit codes

Code Meaning
0 No diagnostics
1 Diagnostics emitted (build-failing in CI)
2 Bad arguments or input file missing

Repo

github.com/pawlos/covenant — full design notes, sibling property analyzers, and the ROADMAP showing what's next.

MIT licensed.

Product Compatible and additional computed target framework versions.
.NET net10.0 is compatible.  net10.0-android was computed.  net10.0-browser was computed.  net10.0-ios was computed.  net10.0-maccatalyst was computed.  net10.0-macos was computed.  net10.0-tvos was computed.  net10.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

This package has no dependencies.

Version Downloads Last Updated
0.1.0-preview2 57 5/25/2026
0.1.0-preview1 59 5/18/2026