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 this week
- A website containing some various tools to help understand NuGet.☆53Updated last month
- .NET Reference API Toolchain☆70Updated last month
- Contains the DotNet.ReproducibleBuilds package☆210Updated 3 months ago
- Roslyn analyzers for writing unit tests with NUnit☆104Updated 2 weeks ago
- Check out NuGet packages adoption and what's trending on NuGet.☆172Updated last week
- The repo behind the dotnet/nbgv GitHub Action☆56Updated this week
- Make staging whole files, as well as parts of a file, up to the line level, a breeze.☆183Updated last week
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- The build tasks used to pick up package content from project.lock.json.☆46Updated this week
- Subscribe to this repo to be notified of upcoming proposals and other important changes to NuGet☆87Updated 4 years ago
- ☆61Updated 9 months ago
- Shows how to do deterministic builds with .NET☆133Updated 3 years ago
- An issue labeler bot for use in dotnet repositories.☆29Updated 8 months ago
- EditorConfig Core library and command line utility written in C# for .NET/Mono http://editorconfig.org☆100Updated 6 months ago
- A template for a NuGet package with tests, static analysis, code style, versioning, Azure Pipelines and GitHub Actions builds ready to go…☆143Updated last week
- The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.☆99Updated last year
- VSTest runner for xUnit.net (for Visual Studio Test Explorer and dotnet test)☆164Updated 3 weeks ago
- Tools for working with the C#/VB/F# project system.☆280Updated 7 months 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…☆246Updated 3 weeks ago
- This repo contains the code for building http://source.dot.net☆52Updated 3 weeks ago
- Roslyn analyzer that finds usages of APIs that will throw PlatformNotSupportedException on certain platforms.☆283Updated 5 years ago
- Basic Compilation Log support☆38Updated last week
- Tool that dumps the evaluated values of all properties and items for a project without building it.☆50Updated last month
- Codecov: C# example repository☆118Updated 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…☆61Updated last week
- ☆49Updated last week
- 📑 A CLI to help you get insight into your projects' licenses☆68Updated 9 months ago
- The Seq command-line client. Administer, log, ingest, search, from any OS.☆161Updated 2 months ago
- A tool to generate SBOM (Software Bill of Material) from source code artifacts.☆69Updated last month