infersharp
Code analyzer
A tool that analyzes C# code for potential issues such as null pointer dereferences and resource leaks to help detect security vulnerabilities.
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.
737 stars
25 watching
29 forks
Language: C#
last commit: about 1 year ago
Linked from 1 awesome list
uhub/awesome-c-sharpRelated projects:
| Repository | Description | Stars |
|---|---|---|
 bkoelman/csharpguidelinesanalyzer | A tool that analyzes C# code against predefined coding guidelines and reports diagnostics | 145 |
 netfabric/netfabric.hyperlinq.analyzer | An analyzer that analyzes C# code for performance and enumeration-related issues to suggest improvements. | 44 |
 sonarsource/sonar-dotnet | Analyzes C# and VB.NET code for quality and security issues | 802 |
 code-cracker/code-cracker | An analyzer library for C# and VB that provides code analysis and refactoring features using Roslyn. | 1,130 |
 infers/infers | A type-level logic programming language embedded in F# that generates values from their types using a Prolog-style resolution algorithm. | 31 |
 flatt-security/shisho | A tool that analyzes code for security vulnerabilities and provides feedback to developers | 369 |
 invoke-ir/powerforensics | A C#-based framework for analyzing and investigating hard drive forensic data | 1,389 |
 mongodb/mongo-csharp-analyzer | Analyzes C# code to generate MongoDB Query API equivalent | 27 |
 security-code-scan/security-code-scan | Detects vulnerabilities in C# and VB.NET code | 942 |
 vannevelj/vsdiagnostics | Provides real-time code quality checks and suggestions to help developers write proper C# code | 65 |
| sonarsource/sonar-java | Analyzes Java code quality and security issues to help developers write cleaner code | 1,144 |
| vannevelj/sharpsource | An analyzer that identifies common coding mistakes and inefficiencies in C# code to prevent runtime errors and improve performance. | 37 |
 cxxxr/sblint | A tool to analyze Common Lisp source code and report errors or warnings | 122 |
 menees/analyzers | C# code analysis rules to enforce coding standards and best practices | 22 |
 stylecop/stylecop | Analyzes C# source code to enforce style and consistency rules | 1,201 |