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.
☆65Updated 2 years ago
Alternatives and similar repositories for infersharpaction
Users that are interested in infersharpaction are comparing it to the libraries listed below
Sorting:
- Tools used in Roslyn based repos☆106Updated this week
- Check out NuGet packages adoption and what's trending on NuGet.☆178Updated this week
- The repo behind the dotnet/nbgv GitHub Action☆58Updated this week
- Home to .NET's dependency flow system & tooling☆80Updated this week
- Shows how to do deterministic builds with .NET☆133Updated 3 years ago
- A website containing some various tools to help understand NuGet.☆54Updated last week
- Contains the DotNet.ReproducibleBuilds package☆214Updated 2 weeks ago
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- VSTest runner for xUnit.net (for Visual Studio Test Explorer and dotnet test)☆164Updated 3 weeks ago
- An issue labeler bot for use in dotnet repositories.☆29Updated 9 months ago
- Quality domain agnostic regular expression pattern matcher that persists results to SARIF☆40Updated 6 months ago
- MSBuild tasks and targets which allow the localization of string resources using xliff☆52Updated 2 years ago
- ☆66Updated 3 years ago
- Subscribe to this repo to be notified of upcoming proposals and other important changes to NuGet☆87Updated 5 years ago
- Generate Markdown test reports from TRX or JUnit files with the Cli or directly with the VSTest logger integration. Liquid Test Reports p…☆28Updated last year
- Run Cake (C# Make) in your GitHub Actions workflows.☆49Updated 2 months ago
- This repo contains the code for building http://source.dot.net☆53Updated last week
- Project maintainers' working group and committee☆28Updated 2 years ago
- .NET code and supporting files for working with the 'Static Analysis Results Interchange Format' (SARIF, see https://github.com/oasis-tcs…☆211Updated last month
- 🎯 LTS (or current) versions - GitHub Action that will run as a scheduled CRON job. Ideally, once every few months or as often as necessa…☆65Updated last week
- Syntax grammar used for C# colorization☆76Updated last month
- A template for a NuGet package with tests, static analysis, code style, versioning, Azure Pipelines and GitHub Actions builds ready to go…☆147Updated last week
- A tool to generate SBOM (Software Bill of Material) from source code artifacts.☆71Updated 2 months ago
- .NET Reference API Toolchain☆70Updated 2 months ago
- The build tasks used to pick up package content from project.lock.json.☆47Updated this week
- A plugin for MSBuild that adds support for storing and retrieving cache entries.☆59Updated last week
- Codecov: C# example repository☆118Updated 2 years ago
- Used to maintain the Docker images hosted at the mcr.microsoft.com/dotnet-buildtools/prereqs image repository☆86Updated this week
- GitHub webhook events toolset for .NET☆62Updated this week
- This repo contains information about the various component versions that ship with .NET Core.☆150Updated this week