WALA تنزيل - WALA تنزيل رمز المصدر

WALA

فئات أخرى

Version 1.6.9

تنزيل

والا

توفر مكتبات TJ Watson للتحليل (WALA) إمكانات تحليل ثابتة لرمز Java Bytecode واللغات ذات الصلة وللجافا سكريبت. تم ترخيص النظام بموجب ترخيص Eclipse Public ، والذي تمت الموافقة عليه من قبل OSI (مبادرة المصدر المفتوح) كترخيص مفتوح المصدر معتمد بالكامل. تم تطوير البنية التحتية الأولية لـ WALA بشكل مستقل كجزء من مشروع DOMO Research في مركز IBM TJ Watson للأبحاث. في عام 2006 ، تبرعت شركة IBM بالبرنامج للمجتمع.

للحصول على التحديثات الأخيرة على WALA ، انضم إلى القائمة البريدية.

ميزات والا الأساسية

تتضمن ميزات WALA:

نظام نوع Java وتحليل التسلسل الهرمي للصف
إطار لغة المصدر الذي يدعم Java و JavaScript
تحليل تدفق البيانات interprocedural (RHS Solver)
الشريحة القائمة على الجدولة الحساسة للسياق
تحليل المؤشر وبناء الرسم البياني
Language Language Record-Transfer Language المستندة إلى SSA
إطار عام لتكرار البيانات التكرارية
أدوات التحليل العامة وهياكل البيانات
مكتبة أجهزة Bytecode (Shrike)

ابدء

أسرع طريقة للبدء مع WALA هي استخدام الحزم في Maven Central ، كما هو مذكور هنا. شاهد ريبو Wala-Start للحصول على مثال قائم على Gradle. نحن نعيد تنظيم الوثائق التقنية الأعمق ويكي. في غضون ذلك ، يمكنك الاطلاع على شرائح تعليمية للحصول على نظرة عامة على Wala:

Core Wala (PDF)
والا جافا سكريبت (PDF)

يمكنك أيضًا مشاهدة Screencasts من البرنامج التعليمي Wala JavaScript هنا.

أخيرًا ، في الوقت الحالي ، للبحث في وثائق Wiki ، نوصي ببحث خاص بالموقع على Github ، على سبيل المثال ، بحث عن "Call Graph".

الوثائق

نحن نستضيف وثائق لـ Wala على Github Wiki. لقد اخترنا تنسيق wiki فقط حتى تتمكن من المساهمة. لا تخجل!

تقوم إدارة منشورات WALA بتوزيع هذه الويكي من خلال الوثائق الفنية على أساس تعتمد على الطلب ، مدفوعة بالأسئلة المنشورة في قائمة Wala-Wala البريدية وأيضًا Gitter. نوصي بهذه الصفحة للبحث في أرشيفات القائمة البريدية.

حاليًا ، لدينا وثائق Javadoc لرمز WALA الذي يتم تحديثه بشكل مستمر. إذا كنت تعتقد أن ملفًا معينًا يستحق جافادوك بشكل أفضل ، فيرجى فتح طلب ميزة.

الحصول على المساعدة

للحصول على المساعدة في Wala ، يرجى إما إرسال بريد إلكتروني إلى القائمة البريدية أو طرح سؤال على Gitter أو فتح مشكلة.

مطلوب إصدارات Java

تم تصميم معظم مكونات كل إصدار رسمي من WALA للاستخدام مع Java 11 أو الأحدث. ومع ذلك ، فإن المكونات التي تستخدم Eclipse تتطلب ما لا يقل عن Java 17.

بناء من المصدر

يستخدم Wala Gradle كنظام بناء. إذا كنت تنوي تعديل أو بناء WALA بنفسك ، فقم برؤية README الخاصة بالمزيد من التعليمات ونصائح مفيدة.

أدوات والا في جافا سكريبت

في الآونة الأخيرة ، قمنا بتوسيع مجموعة أدوات WALA التي تم تنفيذها في JavaScript. لقد أصدرنا جهاز Normalizer وبعض تحليلات البرنامج الأساسية لـ JavaScript في مستودع JS_WALA Github. لقد أتاحنا أيضًا Defugers JSDelta و Wala Delta ، Delta Defuggers لأدوات معالجة JavaScript. يرجى الاطلاع على مستودعات github المرتبطة لمزيد من التفاصيل حول هذه الأدوات.

الأدوات المستندة إلى والا

قامت عدة مجموعات ببناء أدوات مفتوحة المصدر تعزز أو تبني على WALA والتي قد تكون مفيدة لمستخدمي WALA الآخرين. للحصول على التفاصيل ، راجع صفحة الأدوات المستندة إلى WALA.