8 packages returned for Tags:"StaticAnalysis"

Security static code analyzer for .NET

Stand-alone .NET tool for https://security-code-scan.github.io

Security static code analyzer for .NET; released under custom name to check if it works in VS2022

Security static code analyzer for .NET based on Security Code Scan

Library for creating simple static analysis(SA) diagnostics and analyzing .Net assemblies at the IL-code level.

This project introduces affine types to C#, enhancing the language's type system to enforce single-use constraints on certain instances. Affine types are a powerful tool for ensuring resource... More information

This project introduces the `MustUse` attribute to C#. `MustUse` can be applied to types and methods to encourage the usage of their return values. It helps prevent needless computation and ensures... More information

Stand-alone .NET tool for DotnetariumSCS based on Security Code Scan