An analyzer library for C# and VB that uses Roslyn to produce refactorings, code analysis, and other niceties.
🔗 Visiter code-crackerDescription
An analyzer library for C# and VB that uses Roslyn to produce refactorings, code analysis, and other niceties.
💬 Notre avis
Code-Cracker est un projet open source qui s'adresse principalement aux développeurs C# et VB, en leur offrant des outils d'analyse de code grâce à Roslyn. En gros, il permet d'ajouter des refactorisations et des analyses de code qui peuvent vraiment aider à améliorer la qualité du code. C'est un projet assez peu connu, donc ne vous attendez pas à une communauté énorme derrière. C'est un bon complément aux outils déjà existants comme ReSharper, mais ce n'est pas aussi complet. L'utilisation est totalement gratuite, ce qui est un vrai plus, surtout pour ceux qui veulent peaufiner leur code sans débourser un centime. Cependant, il faut être conscient que comme c'est open source, la documentation peut parfois être un peu légère et il pourrait y avoir des bugs à gérer. En gros, si vous êtes développeur et que vous cherchez à améliorer votre code de manière gratuite, Code-Cracker pourrait être une option intéressante, mais ne vous attendez pas à un service client réactif. Si vous êtes à la recherche d'alternatives plus robustes, pensez à des outils comme SonarQube ou même Visual Studio avec ses options de diagnostic intégrées. <!-- ai-reviewed -->
🤖 Fiche enrichie
Points positifs
Totalement gratuit
Basé sur la technologie Roslyn
Améliore la qualité du code
Points négatifs
Documentation parfois insuffisante
Communauté limitée
🔗 Sites similaires
abaplint
Linter for ABAP, written in TypeScript.
abapOpenChecks
Enhances the SAP Code Inspector with new and customizable checks.
SPARK
copyright: — Static analysis and formal verification toolset for Ada.
Astrée
copyright: — Astrée automatically proves the absence of runtime errors and invalid concurrent behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally precise. The analyzer also checks for MISRA/CERT/CWE/Adaptive Autosar coding rules and supports qualification for ISO 26262, DO-178C level A, and other safety standards. Jenkins and Eclipse plugins are available.
CBMC
Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.
CPAchecker
A tool for configurable software verification of C programs. The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.
CScout
Complexity and quality metrics for C and C preprocessor code.
Frama-C
A sound and extensible static analyzer for C code.
Goblint
A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.
Helix QAC
copyright: — Enterprise-grade static analysis for embedded software. Supports MISRA, CERT, and AUTOSAR coding standards.
KLEE
A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure. It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible.
LDRA
copyright: — A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.
💬 Commentaires
Aucun commentaire pour le moment. Soyez le premier ! 🎯