microsoft / infersharpaction
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.
☆60Updated last year
Alternatives and similar repositories for infersharpaction:
Users that are interested in infersharpaction are comparing it to the libraries listed below
- A website containing some various tools to help understand NuGet.☆52Updated 3 weeks ago
- Basic Compilation Log support☆38Updated last week
- Check out NuGet packages adoption and what's trending on NuGet.☆159Updated 2 months ago
- VSTest runner for xUnit.net (for Visual Studio Test Explorer and dotnet test)☆156Updated 2 weeks ago
- This repo contains the code for building http://source.dot.net☆51Updated 4 months ago
- The repo behind the dotnet/nbgv GitHub Action☆54Updated this week
- An In-Memory version of the Roslyn compiler that can be used to debug components in the Roslyn pipeline☆112Updated 4 years ago
- .NET Reference API Toolchain☆69Updated 3 weeks ago
- Roslyn analyzers for xUnit.net (please open issues in https://github.com/xunit/xunit)☆191Updated 3 weeks ago
- Used to maintain the Docker images hosted at the mcr.microsoft.com/dotnet-buildtools/prereqs image repository☆69Updated last week
- Contains the DotNet.ReproducibleBuilds package☆201Updated 4 months ago
- Shows how to do deterministic builds with .NET☆131Updated 2 years ago
- MSBuild is complicated. Let's lift the veil on it.☆134Updated 2 years ago
- ☆61Updated last month
- A static documentation site generator.☆57Updated last year
- 🎯 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 this week
- Shared serializers and models for Visual Studio solution files. Handles traditional .sln file and new .slnx file.☆136Updated 3 weeks ago
- The tool to create reference assembly from common assembly.☆85Updated 3 months ago
- An issue labeler bot for use in dotnet repositories.☆25Updated last month
- A GitHub action to run DocFX and generate a documentation site.☆49Updated 3 weeks ago
- Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null d…☆745Updated last year
- A tool to generate SBOM (Software Bill of Material) from source code artifacts.☆64Updated last year
- EditorConfig Core library and command line utility written in C# for .NET/Mono http://editorconfig.org☆77Updated this week
- Arcade Engineering Services☆69Updated this week
- ☆33Updated 4 years ago
- Tools used in Roslyn based repos☆107Updated last week
- GitHub webhook events toolset for .NET☆58Updated this week
- A plugin for MSBuild that adds support for storing and retrieving cache entries.☆48Updated last month
- 📑 A CLI to help you get insight into your projects' licenses☆66Updated last month
- ☆65Updated 2 years ago