vast

واسع: MLIR لتحليل البرنامج

Vast هي مكتبة لتحليل البرنامج وأدوات C/C ++ واللغات ذات الصلة. يوفر Vast أساسًا لتمثيل البرنامج القابل للتخصيص لطيف واسع من التحليلات. باستخدام البنية التحتية MLIR ، يوفر Vast مجموعة أدوات لتمثيل برنامج C/C ++ في مراحل مختلفة من التجميع وتحويل التمثيل إلى تجريد البرنامج الأفضل.

لمزيد من المعلومات ، تحقق من trailofbits.github.io/vast/.

حاول شاسع

يمكنك تجربة واسعة على مستكشف التحويل البرمجي. لا تتردد في استخدام لهجات MLIR واسعة وإنتاج. لتحديد إخراج MLIR المطلوب ، استخدم خيار -vast-emit-mlir=<dialect> . حاليا ، الخيارات المدعومة هي:

• -vast-emit-mlir=hl لإنشاء لهجة عالية المستوى.
• -vast-emit-mlir=llvm لإنشاء لهجة LLVM MLIR.

ارجع إلى الوثائق الواسعة الواسعة للحصول على تفاصيل إضافية.

رخصة

واسعة المرخصة وفقًا لترخيص Apache 2.0. روابط واسعة ضد وتستخدم Clang و LLVM واجهات برمجة التطبيقات. تم ترخيص Clang أيضًا بموجب Apache 2.0 ، مع استثناءات LLVM.

تم تطوير هذا البحث بتمويل من وكالة مشاريع الأبحاث المتقدمة للدفاع (DARPA). وجهات النظر والآراء و/أو النتائج المعبر عنها هي آراء المؤلف ، ولا ينبغي تفسيرها على أنها تمثل الآراء الرسمية أو سياسات وزارة الدفاع أو حكومة الولايات المتحدة.

بيان التوزيع أ - معتمد للإفراج العام ، التوزيع غير المحدود