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.
☆747Updated last year
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.☆642Updated 3 months ago
- Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.☆1,559Updated 6 months ago
- The Microsoft.VisualStudio.Threading is a xplat library that provides many threading and synchronization primitives used in Visual Studio…☆1,020Updated last week
- A Roslyn analyzer to enforce some good practices in C#.☆1,022Updated this week
- Source Link enables a great source debugging experience for your users, by adding source control metadata to your built assets☆1,319Updated last week
- Roslyn analyzers for IDisposable☆408Updated last year
- Easily build, run tests and coverage, cross-compile, package and publish your .NET library or application to NuGet and GitHub.☆721Updated 2 months ago
- 🏷 Minimalistic versioning using Git tags.☆919Updated 3 weeks ago
- This repository contains the source code for .NET Monitor - a tool that allows you to gather diagnostic data from running applications us…☆683Updated this week
- compile time dependency injection for .NET☆858Updated this week
- This repo is used for reviewing new .NET designs.☆908Updated last week
- A curated list of .NET Compiler Platform ("Roslyn") diagnostic analyzers and code fixes. Everyone can contribute here!☆571Updated 5 months ago
- 🎯 A .NET library for running a target dependency graph.☆899Updated 3 weeks ago
- MSBuild project SDKs☆484Updated last week
- Set of roslyn-based analyzers for catching common C# errors (inspired by Google's error-prone)☆1,046Updated this week
- Tool for generating dependency trees for .NET projects☆614Updated 9 months ago
- A tool that help you find duplicate transitive package references.☆486Updated last year
- Benchmarking infrastructure for applications☆1,047Updated 2 weeks ago
- Reaqtor is a framework for reliable, stateful, distributed, and scalable event processing based on Rx.☆634Updated last week
- Simmy is a chaos-engineering and fault-injection tool, integrating with the Polly resilience project for .NET☆572Updated 3 years ago
- C# discriminated union source generator☆739Updated last week
- This repo contains benchmarks used for testing the performance of all .NET Runtimes☆731Updated this week
- Source browser website generator that powers https://source.dot.net, https://referencesource.microsoft.com and https://sourceroslyn.io☆1,119Updated 6 months ago
- Lunr-core is a small, full text search library for use in small applications. It's a .NET port of LUNR.js.☆569Updated 4 months ago
- A C# parser construction toolkit with high-quality error reporting☆1,208Updated 2 weeks ago
- Adds null argument checks to an assembly☆687Updated last year
- Performance analysis toolkit☆475Updated 3 weeks ago
- Specialized .NET Streams and pipes for full duplex in-proc communication, web sockets, and multiplexing☆680Updated this week
- Git and SemVer Info from MSBuild, C# and VB☆611Updated this week
- Roslyn tool that for a given C# program shows syntax tree API calls to construct its syntax tree☆1,030Updated last month