هل هناك أي أدوات لإجراء تحليل ثابت لرمز سكالا؟ [مغلق

Question

هل هناك أي أدوات لإجراء تحليل ثابت لرمز Scala ، على غرار FindBugs و PMD لـ Java أو Splint لـ C/C ++؟ أعلم أن FindBugs يعمل على رمز Bytecode الذي تم إنتاجه عن طريق تجميع Java ، لذلك أنا فضولي بشأن كيفية عمله على Scala.

عمليات البحث في Google (اعتبارًا من 27 أكتوبر 2009) تكشف القليل جدًا.

عمليات البحث في Google (اعتبارًا من 01 فبراير 2010) تكشف عن هذا السؤال.

Answer 1

يقوم FindBugs بتحليل رموز بايت JVM ، بغض النظر عن الأداة التي ولدتها. لقد حاولت استخدام FindBugs للتحقق من ملفات .class التي تم إنشاؤها بواسطة Scala. لسوء الحظ ، أنتجت FindBugs العديد من التحذيرات ، حتى لبرامج Scala التافهة.

Answer 2

هنالك الان Scalastyle الذي يقوم بالمهمة التي تقوم بها CheckStyle لجافا. لا يشمل ذلك فقط تنسيق الشيكات ، ولكن أيضًا بعض الشيكات عن المصادر المعروفة من الأخطاء ، مثل فئة تنفذ HashCode () ولكن ليس متساويًا.

يوجد حاليًا حوالي 40 شيكًا ، لكننا نضيفها طوال الوقت.

لمزيد من المعلومات، راجع www.scalastyle.org.

Answer 3

هناك بعض الأعمال التي تحدث في هذا الاتجاه. بعض الروابط:

• https://github.com/alacscala/scala-corpus
• https://github.com/alacscala/alacs
• https://bitbucket.org/jmhofer/findbugs4sbt/wiki/home

هناك أيضًا مناقشة حول قائمة بريد Scala ، أرشيف متاح هنا.

Answer 4

فيما يلي إجابة محدثة اعتبارًا من أغسطس 2014 بالنسبة للبعض الذي يهدف أو يعمل بشكل جيد مع Scala.

أنا شخصياً أعتقد أن JVM أو Java ينتهي بهم المطاف مع الكثير من الإيجابيات الخاطئة ، أو لديهم عمليات تفتيش تهدف في الغالب إلى فصول محددة Java. على سبيل المثال ، نظرًا لأنه في Scala لا نميل إلى استخدام مجموعات Java ، فإن جميع عمليات التفتيش المستندة إلى مجموعة FindBugs غير مطلوبة. مثال آخر هو عمليات التفتيش لاستخدام الحقول الثابتة غير ذات الصلة في Scala.

• scalastyle https://github.com/scalastyle/scalastyle
• كبش فداء https://github.com/sksamuel/scalac-scapegoat-plugin
• مزيل الثؤلول https://github.com/typelevel/wartremover
• لينتر https://github.com/hairyfotr/linter
• CPD https://github.com/sbt/cpd4sbt

Answer 5

ستعمل FindBugs وغيرها من الأدوات التي تعتمد على Bytecode ، بمعنى أنها ستجد أخطاء في الكود الخاص بك. لسوء الحظ ، تم ضبط الأساليب القائمة على Bytecode مقابل إخراج مجمعي JAVAC ، مما يعني أنه من المحتمل أن ينتج عن معدلات إيجابية خاطئة للغاية ، وتفوت المشكلات الأساسية ، لأن Scala ستنتج تعابير مختلفة عن مترجم Javac.

Answer 6

أنا أستمتع كثيرًا بالترميز (على سبيل المثال https://www.codacy.com/app/hejfelix/frase/dashboard) لمشاريع المصادر المفتوحة

Answer 7

يوجد مكون إضافي لـ SBT لـ PMD Copy Paste Detector CPD.

https://github.com/sbt/cpd4sbt

Answer 8

Scala Copy Paste Detector ، استنادًا إلى AST. تبحث عن TROUTRES/ASTS التي تم تصويرها ، وإبلاغها.

إنه البرنامج المساعد لـ SBT.

https://github.com/ajtkulov/scala-cpd

Answer 9

لا أعرف الكثير عن Scala ولكن إذا كان منتج Klocwork المتوافق مع Java قد يعمل. يمكنك العثور عليها هنا Klocwork Solo