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.
☆66Jul 19, 2023Updated 2 years ago
Alternatives and similar repositories for infersharpaction
Users that are interested in infersharpaction are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null d…☆747Jan 16, 2024Updated 2 years ago
- PowerShell module containing a Feature Flags implementation based on a local config file.☆24Nov 21, 2025Updated 5 months ago
- to schedule jobs per node in kubernetes cluster☆11Mar 16, 2026Updated last month
- A task focused web browser for working with Claude.ai chat to smooth the workflow for projects☆16Sep 3, 2025Updated 8 months ago
- Visual Studio extension☆21Mar 3, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A shared style library for .NET MAUI applications.☆12Updated this week
- Example implementation of IValueTaskSource☆30Jun 19, 2023Updated 2 years ago
- A GitHub Action that adds rich code navigation to a repo's branches and pull requests.☆28Feb 2, 2024Updated 2 years ago
- Work with project files newer been so simple!☆11Dec 4, 2022Updated 3 years ago
- Validate infrastructure as code (IaC) and DevOps repositories using GitHub Actions.☆90Updated this week
- Daikatana restoration aiming to have a clean 1.2 source and to support modern systems☆15Jan 14, 2026Updated 3 months ago
- Power BI template that consolidates pipeline runs across multiple projects in AzDO using REST APIs☆12Feb 26, 2021Updated 5 years ago
- Docs and scripts to simplify application deployment on AKS enabled by Arc☆18Sep 16, 2024Updated last year
- An alternative to LinkedList<T> with reverse operation and enumeration without allocation.☆17Sep 10, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Header only Parameterization and Meshing Library☆24Apr 26, 2026Updated last week
- .NET library for working with ranges of values☆15Dec 28, 2023Updated 2 years ago
- GitHub action to update the artifact of a plan within the Azure partner center offer.☆21Feb 8, 2025Updated last year
- AzureDevOps marketplace extension that contains various engineering oriented Pipeline tasks☆23May 6, 2025Updated last year
- An Action to wrap creating an SBOM via REST API☆21Apr 20, 2026Updated 2 weeks ago
- Collection of reverse engineering utility scripts for the Horizon Kernel☆16Jan 11, 2023Updated 3 years ago
- This repository contains the foundational libraries that make up the .NET Core development stack.☆17May 12, 2022Updated 3 years ago
- This repo contains the code for building http://source.dot.net☆53Apr 8, 2026Updated last month
- MSBuild project SDKs☆18Apr 11, 2026Updated 3 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A Blazor wrapper for Google's Material Web Component☆10Jul 6, 2025Updated 10 months ago
- Azure Boards Extension for Visual Studio Code☆23Dec 11, 2020Updated 5 years ago
- Split stream into multiple streams that can be read concurrently☆12Oct 18, 2022Updated 3 years ago
- A flexible, high-performance OpenTelemetry tag generator for .NET using source generators. Simplify your telemetry with automatic propert…☆26Dec 29, 2025Updated 4 months ago
- A suite of rules to validate GitHub repositories using PSRule.☆29Apr 30, 2026Updated last week
- Misc SmartGlass helper tools☆11Sep 1, 2020Updated 5 years ago
- CoseSignTool is a platform-agnostic command line application to COSE sign files and validate COSE signatures. CoseHandler is a library o…☆53Updated this week
- Sequoia is Java library for scoring and evaluating decision trees☆13Jun 28, 2015Updated 10 years ago
- A Github @actions that keeps your @angular CLI-based projects up-to-date via automated PRs based on `ng update`.☆11Jan 7, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆22Nov 27, 2025Updated 5 months ago
- This project demonstrates the use of eBPF (Extended Berkeley Packet Filter) to trace file deletion events on a Linux system. A Go userspa…☆13Oct 11, 2024Updated last year
- Collection of tools/data used for reverse engineering Nintendo Switch sysmodules with Ghidra☆18Oct 14, 2024Updated last year
- A customizable control for viewing PDFs using Avalonia UI.☆48Mar 25, 2025Updated last year
- This provides sample codes that adding React UI components to Blazor Web Assembly app.☆17Jan 7, 2023Updated 3 years ago
- Get the URL from a web shortcut file☆15Aug 14, 2021Updated 4 years ago
- ☆13Apr 20, 2026Updated 2 weeks ago