softperson
Automating creativity
Features
Feature preview
Diagnostics that explain behavior, not just syntax.
NStatic is designed to surface the symbolic facts behind a warning: which call path reached it, which assumptions mattered, and what values were known at the point of failure.
Infer conditions that guarantee or permit exceptions, including framework parameter validation and custom exception messages when available.
Follow warnings through method calls and present a call stack that makes cross-method reasoning understandable.
Inspect locals and object state in terms of original inputs, conditionals, method summaries, and simplified expressions.
Represent loop updates as symbolic functions or recurrences where possible, instead of only unrolling a fixed number of times.
Specifications
NStatic's planned specification syntax uses analysis comments so teams can add assertions, assumptions, old-value references, and breakpoints while preserving normal C# source compatibility.
