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
- Write Linux eBPF applications in .net☆23Jun 22, 2025Updated last year
- Emacs client for statistical memory profiler☆17Mar 26, 2020Updated 6 years ago
- A task focused web browser for working with Claude.ai chat to smooth the workflow for projects☆17Sep 3, 2025Updated 10 months ago
- A GitHub Action that adds rich code navigation to a repo's branches and pull requests.☆28Feb 2, 2024Updated 2 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.
- 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.☆91Updated this week
- Daikatana restoration aiming to have a clean 1.2 source and to support modern systems☆16Jan 14, 2026Updated 5 months ago
- Power BI template that consolidates pipeline runs across multiple projects in AzDO using REST APIs☆12Feb 26, 2021Updated 5 years ago
- Snóke is a good old Snake game with new ideas☆21Feb 8, 2026Updated 5 months ago
- Docs and scripts to simplify application deployment on AKS enabled by Arc☆18Sep 16, 2024Updated last year
- .NET library for working with ranges of values☆15Dec 28, 2023Updated 2 years ago
- OCaml implementation of the T-Digest algorithm☆26May 19, 2025Updated last year
- GitHub action to update the artifact of a plan within the Azure partner center offer.☆22Feb 8, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- AzureDevOps marketplace extension that contains various engineering oriented Pipeline tasks☆24May 6, 2025Updated last year
- An Action to wrap creating an SBOM via REST API☆21Updated this week
- Collection of reverse engineering utility scripts for the Horizon Kernel☆17Jan 11, 2023Updated 3 years ago
- Format PowerShell object to Markdown table☆44Dec 16, 2020Updated 5 years ago
- Translate Umamusume by patching master.mdb☆10Apr 11, 2023Updated 3 years ago
- This repo contains the code for building http://source.dot.net☆53Jun 11, 2026Updated 3 weeks ago
- OBSOLETE - used only for 1.0/1.1 patch builds☆23Jan 3, 2019Updated 7 years ago
- MSBuild project SDKs☆18May 28, 2026Updated last month
- Header only Parameterization and Meshing Library☆30Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Blazor wrapper for Google's Material Web Component☆10Jul 6, 2025Updated last year
- Split stream into multiple streams that can be read concurrently☆13Oct 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 6 months ago
- A suite of rules to validate GitHub repositories using PSRule.☆29Jun 10, 2026Updated 3 weeks ago
- CoseSignTool is a platform-agnostic command line application to COSE sign files and validate COSE signatures. CoseHandler is a library o…☆52Jun 22, 2026Updated 2 weeks ago
- A simple tool to generate a call graph for calls within Windows CMD (batch) files.☆57Apr 9, 2026Updated 3 months ago
- A logger for MSBuild that sends event data over anonymous or named pipes.☆25Jul 3, 2024Updated 2 years ago
- Sequoia is Java library for scoring and evaluating decision trees☆13Jun 28, 2015Updated 11 years ago
- A Calysto Bash Kernel☆18Apr 30, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A state machine declared using a fluent syntax, that has a functional usage - pass in state and a trigger, returns new state and commands…☆75Updated this week
- 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
- 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
- Read-only mirror of https://gitlab.gnome.org/GNOME/gspell☆12Jun 26, 2026Updated last week
- This provides sample codes that adding React UI components to Blazor Web Assembly app.☆17Jan 7, 2023Updated 3 years ago
- A discord bot made like a Enterprise application☆10Feb 24, 2024Updated 2 years ago