microsoft / infersharpactionLinks
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 2 years ago
Alternatives and similar repositories for infersharpaction
Users that are interested in infersharpaction are comparing it to the libraries listed below
Sorting:
- The Seq command-line client. Administer, log, ingest, search, from any OS.☆156Updated last month
- A website containing some various tools to help understand NuGet.☆53Updated 3 weeks ago
- .NET Reference API Toolchain☆70Updated last month
- Shows how to do deterministic builds with .NET☆132Updated 3 years ago
- ☆59Updated 6 months ago
- Tools used in Roslyn based repos☆106Updated this week
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- Contains the DotNet.ReproducibleBuilds package☆207Updated last week
- The repo behind the dotnet/nbgv GitHub Action☆56Updated this week
- VSTest runner for xUnit.net (for Visual Studio Test Explorer and dotnet test)☆161Updated last month
- The build tasks used to pick up package content from project.lock.json.☆46Updated last week
- Tool that dumps the evaluated values of all properties and items for a project without building it.☆52Updated 3 weeks ago
- EditorConfig Core library and command line utility written in C# for .NET/Mono http://editorconfig.org☆87Updated 3 months ago
- Check out NuGet packages adoption and what's trending on NuGet.☆166Updated 7 months ago
- Generate Markdown test reports from TRX or JUnit files with the Cli or directly with the VSTest logger integration. Liquid Test Reports p…☆28Updated 10 months ago
- A template for a NuGet package with tests, static analysis, code style, versioning, Azure Pipelines and GitHub Actions builds ready to go…☆141Updated this week
- This repo contains the code for building http://source.dot.net☆52Updated last week
- An issue labeler bot for use in dotnet repositories.☆29Updated 4 months ago
- A static documentation site generator.☆57Updated last year
- An API to locate MSBuild assemblies from an installed Visual Studio location. Use this to ensure that calling the MSBuild API will use th…☆236Updated 3 months ago
- Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.☆56Updated 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…☆60Updated this week
- Ubuntu ROCKs for the .NET runtime and family☆51Updated this week
- Applies Roslyn code fixes automatically during build☆26Updated 6 years ago
- 📑 A CLI to help you get insight into your projects' licenses☆68Updated 6 months ago
- ☆66Updated 2 years ago
- Roslyn analyzers for writing unit tests with NUnit☆99Updated 2 weeks ago
- Microsoft Code Coverage tools documentation and samples☆105Updated last month
- Roslyn Diagnostic Analyzers are customized compiler errors providing real-time feedback to C# developers. Each Analyzer optionally includ…☆55Updated this week
- Sample MSBuild tasks for .NET Core and NuGet. (Issues: https://github.com/natemcmaster/blog)☆66Updated 8 years ago