microsoft / infersharpactionLinks
About Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.
☆61Updated last year
Alternatives and similar repositories for infersharpaction
Users that are interested in infersharpaction are comparing it to the libraries listed below
Sorting:
- Shows how to do deterministic builds with .NET☆133Updated 3 years ago
- Roslyn analyzers for xUnit.net (please open issues in https://github.com/xunit/xunit)☆192Updated 2 weeks ago
- ☆60Updated 3 months ago
- Basic Compilation Log support☆38Updated this week
- A static documentation site generator.☆57Updated last year
- Roslyn analyzers for writing unit tests with NUnit☆98Updated last week
- 🎯 LTS (or current) versions - GitHub Action that will run as a scheduled CRON job. Ideally, once every few months or as often as necessa…☆60Updated last week
- A website containing some various tools to help understand NuGet.☆53Updated 3 weeks ago
- .NET Reference API Toolchain☆70Updated 2 weeks ago
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- Check out NuGet packages adoption and what's trending on NuGet.☆159Updated 4 months ago
- The portable version of JetBrains profiler self API for .NET Framework / .NET Core / .NET / .NET Standard☆62Updated 2 months ago
- EditorConfig Core library and command line utility written in C# for .NET/Mono http://editorconfig.org☆81Updated 2 weeks ago
- Cake server for code generation and script analysis☆30Updated last year
- GitHub webhook events toolset for .NET☆58Updated this week
- Tools used in Roslyn based repos☆107Updated this week
- The repo behind the dotnet/nbgv GitHub Action☆54Updated this week
- ☆65Updated 2 years ago
- VSTest runner for xUnit.net (for Visual Studio Test Explorer and dotnet test)☆155Updated 2 weeks ago
- Contains the DotNet.ReproducibleBuilds package☆204Updated 6 months ago
- Analyzer for helping using package System.IO.Abstractions☆25Updated 2 weeks ago
- A template for a NuGet package with tests, static analysis, code style, versioning, Azure Pipelines and GitHub Actions builds ready to go…☆140Updated this week
- Developer guide for the ReSharper Platform☆72Updated 9 months ago
- xUnit.net assertion library for sub-module purposes (please open issues in https://github.com/xunit/xunit)☆81Updated last week
- Analyzers for XML documentation☆37Updated 2 years ago
- An In-Memory version of the Roslyn compiler that can be used to debug components in the Roslyn pipeline☆113Updated 4 years ago
- Roslyn analysers for NSubstitute.☆30Updated 8 months ago
- An issue labeler bot for use in dotnet repositories.☆29Updated last month
- Arcade Engineering Services☆70Updated this week
- A simple to understand packing model for authoring NuGet packages☆267Updated last week