vast
latest
Wast เป็นห้องสมุดสำหรับการวิเคราะห์โปรแกรมและเครื่องมือของ C/C ++ และภาษาที่เกี่ยวข้อง Wast เป็นรากฐานสำหรับการเป็นตัวแทนโปรแกรมที่ปรับแต่งได้สำหรับการวิเคราะห์ที่กว้าง การใช้โครงสร้างพื้นฐาน MLIR นั้นมีชุดเครื่องมือในการแสดงโปรแกรม C/C ++ ในขั้นตอนต่าง ๆ ของการรวบรวมและเพื่อเปลี่ยนการเป็นตัวแทนให้เป็นนามธรรมของโปรแกรมที่ดีที่สุด
สำหรับข้อมูลเพิ่มเติมตรวจสอบ trailofbits.github.io/vast/
คุณสามารถทดลองกับ Compiler Explorer มากมาย อย่าลังเลที่จะใช้ภาษาถิ่น MLIR มากมาย ในการระบุเอาต์พุต MLIR ที่ต้องการใช้ตัวเลือก -vast-emit-mlir=<dialect> ปัจจุบันตัวเลือกที่รองรับคือ:
-vast-emit-mlir=hl เพื่อสร้างภาษาถิ่นระดับสูง-vast-emit-mlir=llvm เพื่อสร้างภาษา LLVM MLIRอ้างถึงเอกสารประกอบที่กว้างใหญ่สำหรับรายละเอียดเพิ่มเติม
มีใบอนุญาตมากมายตามใบอนุญาต Apache 2.0 ลิงก์มากมายกับและใช้เสียงดังและ LLVM APIs Clang ยังได้รับอนุญาตภายใต้ Apache 2.0 โดยมีข้อยกเว้น LLVM
การวิจัยนี้ได้รับการพัฒนาด้วยเงินทุนจากหน่วยงานโครงการวิจัยขั้นสูง (DARPA) มุมมองความคิดเห็นและ/หรือการค้นพบที่แสดงเป็นของผู้เขียนและไม่ควรตีความว่าเป็นตัวแทนของมุมมองหรือนโยบายอย่างเป็นทางการของกระทรวงกลาโหมหรือรัฐบาลสหรัฐฯ
คำชี้แจงการกระจาย A - ได้รับการอนุมัติสำหรับการเปิดตัวสาธารณะ Distribution Unlimited
