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.
☆62Updated last year
Related projects ⓘ
Alternatives and complementary repositories for infersharpaction
- .NET Reference API Toolchain☆68Updated 3 weeks ago
- Roslyn analyzers for writing unit tests with NUnit☆89Updated last week
- The repo behind the dotnet/nbgv GitHub Action☆53Updated 2 months ago
- A website containing some various tools to help understand NuGet.☆50Updated last week
- An In-Memory version of the Roslyn compiler that can be used to debug components in the Roslyn pipeline☆110Updated 3 years ago
- Shows how to do deterministic builds with .NET☆127Updated 2 years 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…☆57Updated this week
- Arcade Engineering Services☆60Updated this week
- An issue labeler bot for use in dotnet repositories.☆22Updated last month
- ☆56Updated this week
- ☆63Updated 2 years ago
- ☆45Updated this week
- Contains the DotNet.ReproducibleBuilds package☆188Updated 2 months ago
- A tool to generate SBOM (Software Bill of Material) from source code artifacts.☆60Updated 7 months ago
- Check out NuGet packages adoption and what's trending on NuGet.☆152Updated last week
- EditorConfig Core library and command line utility written in C# for .NET/Mono http://editorconfig.org☆73Updated 11 months ago
- The portable version of JetBrains profiler self API for .NET Framework / .NET Core / .NET / .NET Standard☆61Updated last week
- A template for a NuGet package with tests, stylecop, fxcop, versioning, and Azure Pipelines build ready to go.☆133Updated this week
- A static documentation site generator.☆53Updated 9 months ago
- VSTest runner for xUnit.net (for Visual Studio Test Explorer and dotnet test)☆147Updated this week
- Tools used in Roslyn based repos☆103Updated this week
- This repo contains the code for building http://source.dot.net☆50Updated 3 months ago
- GitHub webhook events toolset for .NET☆52Updated 2 weeks ago
- 📑 A CLI to help you get insight into your projects' licenses☆61Updated 2 years ago
- MSBuild is complicated. Let's lift the veil on it.☆133Updated last year
- MSBuild SDK package for SDK-style .NET solution projects (.slnproj)☆86Updated 5 years ago
- ☆81Updated 2 months ago
- Quality domain agnostic regular expression pattern matcher that persists results to SARIF☆39Updated 10 months ago
- The build tasks used to pick up package content from project.lock.json.☆46Updated this week
- MSBuild tasks and targets which allow the localization of string resources using xliff☆51Updated last year