microsoft / infersharpaction
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.
☆61Updated last year
Alternatives and similar repositories for infersharpaction:
Users that are interested in infersharpaction are comparing it to the libraries listed below
- Shows how to do deterministic builds with .NET☆130Updated 2 years ago
- The Seq command-line client. Administer, log, ingest, search, from any OS.☆151Updated last week
- A tool to generate SBOM (Software Bill of Material) from source code artifacts.☆64Updated last year
- A static documentation site generator.☆57Updated last year
- This repo contains the code for building http://source.dot.net☆50Updated 3 months ago
- 🎯 LTS (or current) versions - GitHub Action that will run as a scheduled CRON job. Ideally, once every few months or as often as necessa…☆59Updated this week
- An In-Memory version of the Roslyn compiler that can be used to debug components in the Roslyn pipeline☆111Updated 4 years ago
- Basic Compilation Log support☆37Updated this week
- ☆61Updated last week
- Roslyn analyzers for writing unit tests with NUnit☆94Updated 2 weeks ago
- A website containing some various tools to help understand NuGet.☆53Updated 3 weeks ago
- Tools used in Roslyn based repos☆106Updated this week
- The repo behind the dotnet/nbgv GitHub Action☆53Updated this week
- MSBuild is complicated. Let's lift the veil on it.☆134Updated 2 years ago
- A template for a NuGet package with tests, static analysis, code style, versioning, Azure Pipelines and GitHub Actions builds ready to go…☆139Updated this week
- Analyzers for XML documentation☆36Updated 2 years ago
- .NET Engineering Services☆26Updated this week
- ReSharper plugin to measure cyclomatic complexity as you type☆123Updated 2 months ago
- An issue labeler bot for use in dotnet repositories.☆24Updated last week
- Analyzer for helping using package System.IO.Abstractions☆25Updated last week
- Contains the DotNet.ReproducibleBuilds package☆200Updated 3 months ago
- .NET Reference API Toolchain☆70Updated 2 months ago
- Shared serializers and models for Visual Studio solution files. Handles traditional .sln file and new .slnx file.☆130Updated 3 weeks ago
- A Roslyn analyzer to improve the experience when working with nullable reference types.☆48Updated 2 months ago
- Roslyn analysers for NSubstitute.☆30Updated 5 months ago
- A terminal-centric replacement for the .NET console APIs.☆100Updated this week
- The portable version of JetBrains profiler self API for .NET Framework / .NET Core / .NET / .NET Standard☆61Updated 4 months ago
- A Visual Studio extension☆81Updated 11 months ago
- MSBuild tasks and targets which allow the localization of string resources using xliff☆51Updated last year
- Cake server for code generation and script analysis☆29Updated last year