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.
☆62Updated 2 years ago
Alternatives and similar repositories for infersharpaction
Users that are interested in infersharpaction are comparing it to the libraries listed below
Sorting:
- Check out NuGet packages adoption and what's trending on NuGet.☆166Updated 7 months ago
- The repo behind the dotnet/nbgv GitHub Action☆56Updated this week
- Shows how to do deterministic builds with .NET☆132Updated 3 years ago
- Contains the DotNet.ReproducibleBuilds package☆206Updated last month
- A website containing some various tools to help understand NuGet.☆53Updated this week
- An issue labeler bot for use in dotnet repositories.☆29Updated 4 months ago
- Tools used in Roslyn based repos☆106Updated this week
- VSTest runner for xUnit.net (for Visual Studio Test Explorer and dotnet test)☆158Updated 2 weeks ago
- EditorConfig Core library and command line utility written in C# for .NET/Mono http://editorconfig.org☆86Updated 2 months ago
- .NET Reference API Toolchain☆70Updated last month
- Tools for working with the C#/VB/F# project system.☆281Updated 4 months ago
- ☆58Updated 5 months ago
- Basic Compilation Log support☆37Updated last week
- A tool to generate SBOM (Software Bill of Material) from source code artifacts.☆67Updated 3 months ago
- ☆66Updated 2 years ago
- The Seq command-line client. Administer, log, ingest, search, from any OS.☆156Updated 3 weeks ago
- Roslyn Diagnostic Analyzers are customized compiler errors providing real-time feedback to C# developers. Each Analyzer optionally includ…☆55Updated last week
- A template for a NuGet package with tests, static analysis, code style, versioning, Azure Pipelines and GitHub Actions builds ready to go…☆141Updated last week
- This repo contains the code for building http://source.dot.net☆51Updated last week
- An API to locate MSBuild assemblies from an installed Visual Studio location. Use this to ensure that calling the MSBuild API will use th…☆235Updated 2 months ago
- An In-Memory version of the Roslyn compiler that can be used to debug components in the Roslyn pipeline☆113Updated 4 years ago
- Microsoft Code Coverage tools documentation and samples☆101Updated last month
- Shared serializers and models for Visual Studio solution files. Handles traditional .sln file and new .slnx file.☆165Updated 2 weeks ago
- This repo contains the code to build the .NET deployment tools and installers for all supported platforms, as well as the sources to .NET…☆191Updated last week
- Used to maintain the Docker images hosted at the mcr.microsoft.com/dotnet-buildtools/prereqs image repository☆80Updated last week
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- Roslyn analyzers for writing unit tests with NUnit☆99Updated 3 weeks ago
- A simple to understand packing model for authoring NuGet packages☆270Updated this 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 this week
- Generate Markdown test reports from TRX or JUnit files with the Cli or directly with the VSTest logger integration. Liquid Test Reports p…☆28Updated 9 months ago