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.
☆64Updated 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☆105Updated 2 weeks ago
- The repo behind the dotnet/nbgv GitHub Action☆56Updated this week
- ☆66Updated 3 years ago
- Shows how to do deterministic builds with .NET☆133Updated 3 years ago
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- ☆61Updated 9 months ago
- Check out NuGet packages adoption and what's trending on NuGet.☆173Updated last week
- Contains the DotNet.ReproducibleBuilds package☆210Updated 3 months ago
- 🎯 LTS (or current) versions - GitHub Action that will run as a scheduled CRON job. Ideally, once every few months or as often as necessa…☆63Updated last week
- Arcade Engineering Services☆77Updated 2 weeks ago
- MSBuild tasks and targets which allow the localization of string resources using xliff☆52Updated 2 years ago
- An issue labeler bot for use in dotnet repositories.☆29Updated 8 months ago
- .NET Reference API Toolchain☆70Updated last month
- Roslyn analyzers for writing unit tests with NUnit☆104Updated 3 weeks ago
- Subscribe to this repo to be notified of upcoming proposals and other important changes to NuGet☆87Updated 4 years ago
- A website containing some various tools to help understand NuGet.☆53Updated last week
- EditorConfig Core library and command line utility written in C# for .NET/Mono http://editorconfig.org☆100Updated 7 months ago
- This repo contains information about the various component versions that ship with .NET Core.☆148Updated this week
- .NET code and supporting files for working with the 'Static Analysis Results Interchange Format' (SARIF, see https://github.com/oasis-tcs…☆209Updated this week
- Microsoft Code Coverage tools documentation and samples☆116Updated last month
- Used to maintain the Docker images hosted at the mcr.microsoft.com/dotnet-buildtools/prereqs image repository☆83Updated this week
- VSTest runner for xUnit.net (for Visual Studio Test Explorer and dotnet test)☆164Updated last month
- Tools for working with the C#/VB/F# project system.☆281Updated 8 months ago
- Roslyn analyzer that finds usages of APIs that will throw PlatformNotSupportedException on certain platforms.☆281Updated 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
- A .NET Core tool for working with the GitHub Package Registry☆93Updated last year
- An API to locate MSBuild assemblies from an installed Visual Studio location. Use this to ensure that calling the MSBuild API will use th…☆248Updated this week
- The build tasks used to pick up package content from project.lock.json.☆46Updated this week
- This repo contains the code to build the .NET deployment tools and installers for all supported platforms, as well as the sources to .NET…☆202Updated this week
- The Seq command-line client. Administer, log, ingest, search, from any OS.☆161Updated 2 months ago