เครื่องมือวิเคราะห์ช่วงเวลาเล็กน้อยเกี่ยวกับ LLVM IR
การพึ่งพาอาศัยกัน
- LLVM (เผยแพร่/10.x)
- googletest (อาจารย์)
อัลกอริทึม
- การวิเคราะห์ช่วงเวลาผ่านการตีความนามธรรม
- DataFlow วนซ้ำในเรื่องสภาพเส้นทาง
รายการงาน
- การสนับสนุนคำสั่ง Arthmetic/Terminator เพิ่มเติม
- การวิเคราะห์ระหว่างระบบผ่านบริบทที่ละเอียดอ่อน
- การสนับสนุนรูปแบบเพิ่มเติมสำหรับการแก้ปัญหาช่วงเวลา
- การสร้างแบบจำลองสำหรับหน่วยความจำอาร์เรย์/ฮีป
- การสนับสนุนจำนวนเต็มที่ไม่ได้ลงชื่อ
- รองรับจุดลอยตัว
