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.
☆732Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for infersharp
- A utility to perform design-time builds of .NET projects without having to think too hard about it.☆612Updated this week
- Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.☆1,488Updated 2 months ago
- Benchmarking infrastructure for applications☆991Updated this week
- The Microsoft.VisualStudio.Threading is a xplat library that provides many threading and synchronization primitives used in Visual Studio…☆992Updated 3 weeks ago
- A Roslyn analyzer to enforce some good practices in C#.☆953Updated this week
- This repo contains benchmarks used for testing the performance of all .NET Runtimes☆700Updated this week
- 🎯 A .NET library for running a target dependency graph.☆856Updated this week
- Source Link enables a great source debugging experience for your users, by adding source control metadata to your built assets☆1,255Updated this week
- compile time dependency injection for .NET☆849Updated 2 years ago
- A C# parser construction toolkit with high-quality error reporting☆1,078Updated last month
- Fast Compiler for C# Expression Trees and the lightweight LightExpression alternative. Diagnostic and code generation tools for the expre…☆1,175Updated this week
- Roslyn analyzers for IDisposable☆383Updated 5 months ago
- This repository contains the source code for .NET Monitor - a tool that allows you to gather diagnostic data from running applications us…☆640Updated this week
- Easily build, run tests and coverage, cross-compile, package and publish your .NET library or application to NuGet and GitHub.☆692Updated last week
- This repo is used for reviewing new .NET designs.☆890Updated 3 months ago
- Simmy is a chaos-engineering and fault-injection tool, integrating with the Polly resilience project for .NET☆554Updated 2 years ago
- Next generation API for .NET☆1,642Updated 3 weeks ago
- 🏃 A .NET library that runs external commands.☆694Updated this week
- 🏷 Minimalistic versioning using Git tags.☆860Updated this week
- Roslyn based C# heap allocation diagnostic analyzer that can detect explicit and many implicit allocations like boxing, display classes a…☆645Updated 2 years ago
- The HTTP Read-Eval-Print Loop (REPL) is a lightweight, cross-platform command-line tool that's supported everywhere .NET Core is supporte…☆700Updated this week
- A curated list of .NET Compiler Platform ("Roslyn") diagnostic analyzers and code fixes. Everyone can contribute here!☆535Updated 11 months ago
- Helping .NET developers port their projects to .NET Core!☆1,143Updated 6 months ago
- Set of roslyn-based analyzers for catching common C# errors (inspired by Google's error-prone)☆894Updated last week
- A port of LUNR.js to .NET Core☆566Updated last month
- This repository contains the source code for various .NET Core runtime diagnostic tools and documents.☆1,187Updated this week
- A tool that help you find duplicate transitive package references.☆475Updated 8 months ago
- Adds null argument checks to an assembly☆685Updated 7 months ago
- DNT (DotNetTools): Command line tools to manage .NET projects and solutions.☆419Updated this week
- MSBuild project SDKs☆460Updated 2 weeks ago