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 last week
- Contains the DotNet.ReproducibleBuilds package☆208Updated 2 months ago
- .NET Reference API Toolchain☆70Updated last week
- Check out NuGet packages adoption and what's trending on NuGet.☆172Updated 10 months ago
- ☆66Updated 3 years ago
- A website containing some various tools to help understand NuGet.☆53Updated last week
- The repo behind the dotnet/nbgv GitHub Action☆56Updated last week
- ☆49Updated last week
- ☆60Updated 8 months ago
- Syntax grammar used for C# colorization☆74Updated last week
- An issue labeler bot for use in dotnet repositories.☆29Updated 7 months ago
- Contains tools for metadata, such as Roslyn's metadata visualizer.☆53Updated last week
- The build tasks used to pick up package content from project.lock.json.☆46Updated last week
- VSTest runner for xUnit.net (for Visual Studio Test Explorer and dotnet test)☆163Updated last week
- This repo contains the code for building http://source.dot.net☆52Updated this week
- Microsoft Code Coverage tools documentation and samples☆113Updated 2 weeks ago
- The Seq command-line client. Administer, log, ingest, search, from any OS.☆158Updated 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…☆60Updated last week
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- A template for a NuGet package with tests, static analysis, code style, versioning, Azure Pipelines and GitHub Actions builds ready to go…☆143Updated this week
- Basic Compilation Log support☆38Updated this week
- Shows how to do deterministic builds with .NET☆133Updated 3 years ago
- Abstractions library for the Kiota generated SDKs in dotnet☆70Updated 2 weeks ago
- An API to locate MSBuild assemblies from an installed Visual Studio location. Use this to ensure that calling the MSBuild API will use th…☆244Updated last week
- A tool to generate SBOM (Software Bill of Material) from source code artifacts.☆67Updated 2 weeks ago
- Subscribe to this repo to be notified of upcoming proposals and other important changes to NuGet☆87Updated 4 years ago
- Roslyn analyzer that finds usages of APIs that will throw PlatformNotSupportedException on certain platforms.☆283Updated 5 years ago
- ReSharper plugin to measure cyclomatic complexity as you type☆126Updated 2 weeks ago
- The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.☆99Updated 11 months ago
- Used to maintain the Docker images hosted at the mcr.microsoft.com/dotnet-buildtools/prereqs image repository☆81Updated this week