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 3 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…☆749Jan 16, 2024Updated 2 years ago
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆30Mar 18, 2026Updated 7 months ago
- A GitHub Action to facilitate configuring MSStoreCLI in the workflow PATH.☆29Updated this week
- AzureDevOps marketplace extension that contains various engineering oriented Pipeline tasks☆25May 6, 2025Updated last year
- OCaml ctypes bindings to llama.cpp☆16Jan 23, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Emacs client for statistical memory profiler☆17Mar 26, 2020Updated 6 years ago
- A GitHub Action that adds rich code navigation to a repo's branches and pull requests.☆29Feb 2, 2024Updated 2 years ago
- Azure Boards Extension for Visual Studio Code☆26Dec 11, 2020Updated 5 years ago
- A suite of rules to validate GitHub repositories using PSRule.☆30Sep 15, 2026Updated last month
- AI-Assisted Verification of Data Structures☆23May 27, 2026Updated 4 months ago
- Power BI template that consolidates pipeline runs across multiple projects in AzDO using REST APIs☆13Feb 26, 2021Updated 5 years ago
- Validate infrastructure as code (IaC) and DevOps repositories using GitHub Actions.☆94Updated this week
- Snóke is a good old Snake game with new ideas☆21Aug 15, 2026Updated 2 months ago
- An alternative to LinkedList<T> with reverse operation and enumeration without allocation.☆17Sep 10, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Copy files to multiple destinations faster☆11Dec 1, 2015Updated 10 years ago
- .NET library for working with ranges of values☆15Dec 28, 2023Updated 2 years ago
- ☆12Aug 24, 2022Updated 4 years ago
- This repository contains the foundational libraries that make up the .NET Core development stack.☆18May 12, 2022Updated 4 years ago
- Daikatana restoration aiming to have a clean 1.2 source and to support modern systems☆18Sep 28, 2026Updated 2 weeks ago
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- The Most Complete .NET/C# Implementation of Knuth–Morris–Pratt Algorithm☆28Mar 14, 2018Updated 8 years ago
- Format PowerShell object to Markdown table☆48Dec 16, 2020Updated 5 years ago
- Docs and scripts to simplify application deployment on AKS enabled by Arc☆20Sep 16, 2024Updated 2 years ago
- 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.
- This repo contains the code for building http://source.dot.net☆55Sep 16, 2026Updated last month
- Auto formalization of the CLRS text book☆41Jul 8, 2026Updated 3 months ago
- A flexible, high-performance OpenTelemetry tag generator for .NET using source generators. Simplify your telemetry with automatic propert…☆27Aug 10, 2026Updated 2 months ago
- Sources of https://mikhail.io migrated to Hugo☆12Jan 20, 2026Updated 8 months ago
- Split stream into multiple streams that can be read concurrently☆13Oct 18, 2022Updated 4 years ago
- CoseSignTool is a platform-agnostic command line application to COSE sign files and validate COSE signatures. CoseHandler is a library o…☆55Sep 30, 2026Updated 2 weeks ago
- A logger for MSBuild that sends event data over anonymous or named pipes.☆25Jul 18, 2026Updated 2 months ago
- A simple and complete tool to translate Disgaea games.☆10Mar 29, 2021Updated 5 years ago
- Run multiple open source security static analysis tools without the added complexity with OSSAR (Open Source Static Analysis Runner).☆100Sep 10, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆13May 28, 2021Updated 5 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
- A trie data structure implemented in OCaml☆10Feb 8, 2012Updated 14 years ago
- A simple tool to generate a call graph for calls within Windows CMD (batch) files.☆60Updated this week
- Visual Studio extension☆21Mar 3, 2017Updated 9 years ago
- Site Extension-based Reverse Proxy compatible with Azure Functions Proxies☆13Sep 22, 2026Updated 3 weeks ago
- Cuba related geojsons☆20Apr 6, 2026Updated 6 months ago