microsoft / infersharp
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.
☆745Updated last year
Alternatives and similar repositories for infersharp:
Users that are interested in infersharp are comparing it to the libraries listed below
- Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.☆1,530Updated 3 months ago
- Benchmarking infrastructure for applications☆1,038Updated last week
- A utility to perform design-time builds of .NET projects without having to think too hard about it.☆633Updated 3 weeks ago
- The Microsoft.VisualStudio.Threading is a xplat library that provides many threading and synchronization primitives used in Visual Studio…☆1,012Updated this week
- Source Link enables a great source debugging experience for your users, by adding source control metadata to your built assets☆1,288Updated this week
- High performance LINQ implementation with minimal heap allocations. Supports enumerables, async enumerables, arrays and Span<T>.☆886Updated last year
- Roslyn tool that for a given C# program shows syntax tree API calls to construct its syntax tree☆996Updated 3 months ago
- This repo is used for reviewing new .NET designs.☆905Updated this week
- Stamp your assemblies, packages and more with a unique version generated from a single, simple version.json file and include git commit I…☆1,447Updated this week
- This repository contains the source code for .NET Monitor - a tool that allows you to gather diagnostic data from running applications us…☆664Updated this week
- A lightweight low ceremony API for web services.☆810Updated last year
- Roslyn analyzers for IDisposable☆396Updated 9 months ago
- Tool for generating dependency trees for .NET projects☆594Updated 6 months ago
- Set of roslyn-based analyzers for catching common C# errors (inspired by Google's error-prone)☆983Updated 2 months ago
- A Roslyn analyzer to enforce some good practices in C#.☆993Updated 2 weeks ago
- Simmy is a chaos-engineering and fault-injection tool, integrating with the Polly resilience project for .NET☆565Updated 2 years ago
- Helping .NET developers port their projects to .NET Core!☆1,143Updated 10 months ago
- compile time dependency injection for .NET☆853Updated 2 years ago
- ☆1,631Updated this week
- This repository contains the source code for various .NET Core runtime diagnostic tools and documents.☆1,251Updated this week
- A library for running isolated .NET runtimes inside .NET☆622Updated last year
- 🎯 A .NET library for running a target dependency graph.☆880Updated 2 weeks ago
- A high-performance, extensible argument validation library.☆711Updated last year
- Microsoft.FeatureManagement provides standardized APIs for enabling feature flags within applications. Utilize this library to secure a c…☆1,091Updated this week
- 🏷 Minimalistic versioning using Git tags.☆908Updated 2 weeks ago
- Easily build, run tests and coverage, cross-compile, package and publish your .NET library or application to NuGet and GitHub.☆711Updated 3 months ago
- Lunr-core is a small, full text search library for use in small applications. It's a .NET port of LUNR.js.☆568Updated last month
- Fast Compiler for C# Expression Trees and the lightweight LightExpression alternative. Diagnostic and code generation tools for the expre…☆1,245Updated this week
- Curated list of awesome Roslyn books, tutorials, open-source projects, analyzers, code fixes, refactorings, and source generators☆691Updated last year
- Roslyn based C# heap allocation diagnostic analyzer that can detect explicit and many implicit allocations like boxing, display classes a…☆647Updated 2 years ago