microsoft / infersharpLinks
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.
☆748Updated 2 years ago
Alternatives and similar repositories for infersharp
Users that are interested in infersharp are comparing it to the libraries listed below
Sorting:
- A utility to perform design-time builds of .NET projects without having to think too hard about it.☆669Updated this week
- Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.☆1,577Updated last year
- Source Link enables a great source debugging experience for your users, by adding source control metadata to your built assets☆1,332Updated this week
- The Microsoft.VisualStudio.Threading is a xplat library that provides many threading and synchronization primitives used in Visual Studio…☆1,026Updated last week
- Tool for generating dependency trees for .NET projects☆649Updated 3 months ago
- Benchmarking infrastructure for applications☆1,073Updated last week
- 🎯 A .NET library, developed by humans, for running a target dependency graph.☆933Updated last week
- 🏷 Minimalist .NET packages, developed by humans, for versioning software or content using Git tags.☆957Updated this week
- Performance analysis toolkit☆486Updated last week
- Easily build, run tests and coverage, cross-compile, package and publish your .NET library or application to NuGet and GitHub.☆742Updated 2 months ago
- Set of roslyn-based analyzers for catching common C# errors (inspired by Google's error-prone)☆1,092Updated 6 months ago
- Roslyn analyzers for IDisposable☆421Updated last year
- Stamp your assemblies, packages and more with a unique version generated from a single, simple version.json file and include git commit I…☆1,543Updated last week
- This repo is used for reviewing new .NET designs.☆934Updated this week
- The HTTP Read-Eval-Print Loop (REPL) is a lightweight, cross-platform command-line tool that's supported everywhere .NET Core is supporte…☆712Updated 3 weeks ago
- DNT (DotNetTools): Command line tools to manage .NET projects and solutions.☆462Updated last month
- This repository contains the source code for .NET Monitor - a tool that allows you to gather diagnostic data from running applications us…☆703Updated this week
- Simmy is a chaos-engineering and fault-injection tool, integrating with the Polly resilience project for .NET☆582Updated 3 years ago
- Automagically update nuget packages in .NET projects☆544Updated 3 years ago
- A Roslyn analyzer to enforce some good practices in C#.☆1,089Updated this week
- A tool that help you find duplicate transitive package references.☆490Updated 4 months ago
- Code analyzer for C# and VB.NET projects☆889Updated last week
- Roslyn tool that for a given C# program shows syntax tree API calls to construct its syntax tree☆1,074Updated 8 months ago
- 🏃 A .NET library, developed by humans, for running external commands.☆772Updated last week
- Reaqtor is a framework for reliable, stateful, distributed, and scalable event processing based on Rx.☆641Updated 2 months ago
- Git and SemVer Info from MSBuild, C# and VB☆638Updated this week
- ☆1,667Updated this week
- Adds null argument checks to an assembly☆686Updated last month
- A curated list of .NET Compiler Platform ("Roslyn") diagnostic analyzers and code fixes. Everyone can contribute here!☆612Updated 6 months ago
- This repo contains benchmarks used for testing the performance of all .NET Runtimes☆755Updated this week