lucid

Lucid - Microcode Explorer แบบอินเทอร์แอคทีฟแบบอินเทอร์แอคทีฟ

ภาพรวม

Lucid เป็นปลั๊กอิน IDA Pro ที่มุ่งเน้นนักพัฒนาสำหรับการสำรวจไมโครไดซ์เฮ็กซ์เรย์ มันถูกออกแบบมาเพื่อให้ประสบการณ์แบบโต้ตอบที่ไร้รอยต่อสำหรับการศึกษาการเปลี่ยนแปลงของไมโครรหัสในไปป์ไลน์ decompiler

ปลั๊กอินนี้มีป้ายกำกับเป็นแหล่งข้อมูลต้นแบบและรหัสสำหรับชุมชนเท่านั้น โปรดทราบว่าเป็นเครื่องช่วยในการพัฒนาไม่ใช่เครื่องมือวิศวกรรมย้อนกลับวัตถุประสงค์ทั่วไป

ขอขอบคุณเป็นพิเศษสำหรับ genmc / @pat0is และคณะ สำหรับแรงบันดาลใจ

ปล่อย

• v0.1 - การเปิดตัวครั้งแรก

การติดตั้ง

Lucid เป็นปลั๊กอินข้ามแพลตฟอร์ม (Windows, MacOS, Linux) ปลั๊กอิน Python 2/3 ต้องใช้การพึ่งพาของบุคคลที่สามเป็นศูนย์ทำให้รหัสทั้งแบบพกพาและติดตั้งง่าย

1. จากคอนโซล Python ของ Disassembler ให้เรียกใช้คำสั่งต่อไปนี้เพื่อค้นหาไดเรกทอรีปลั๊กอิน:

   • Ida Pro : os.path.join(idaapi.get_user_idadir(), "plugins")

2. คัดลอกเนื้อหาของที่เก็บ /plugins/ โฟลเดอร์ไปยังไดเรกทอรีที่แสดงรายการ

3. รีสตาร์ทถอดชิ้นส่วนของคุณ

ปลั๊กอินนี้รองรับเฉพาะสำหรับ IDA 7.5 และใหม่กว่า

การใช้งาน

Lucid จะโหลดโดยอัตโนมัติสำหรับสถาปัตยกรรมใด ๆ ที่มี decompiler hex-rays เพียงคลิกขวาที่ใดก็ได้ในหน้าต่าง Pseudocode และเลือก View microcode เพื่อเปิด Lucid Microcode Explorer

โดยค่าเริ่มต้น MicroCode Explorer จะซิงโครไนซ์กับหน้าต่าง Pseudocode Hex-rays ที่ใช้งานอยู่

เลเยอร์ที่ชัดเจน

Lucid ทำให้ง่ายต่อการติดตาม microinstructions ผ่านท่อ decompiler ทั้งหมด เพียงเลือก microinstruction และ Scroll (หรือคลิก ... ถ้าคุณต้อง) ผ่านรายการเลเยอร์ครบกำหนด Microcode

ดูในขณะที่ Explorer ยังคงมุ่งเน้นไปที่คำแนะนำที่คุณเลือกในขณะที่ภูมิทัศน์ของไมโครไดซ์โดยรอบละลายไป มันเป็นเวทมนตร์โดยทั่วไป

ความละเอียด

การติดตามเคอร์เซอร์สามารถทำงานได้ที่ระดับย่อย / การสอนย่อย การวางเคอร์เซอร์ของคุณในส่วนต่าง ๆ ของ microinstruction เดียวกันสามารถติดตามองค์ประกอบย่อยกลับไปที่ต้นกำเนิดของพวกเขา

หากคำแนะนำในที่อยู่ที่ถูกติดตามได้รับการปรับให้เหมาะสม Lucid จะพยายามรักษาเคอร์เซอร์ของคุณไว้ในบริบทโดยประมาณเดียวกัน มันจะเปลี่ยนสีเคอร์เซอร์จากสีเขียวเป็นสีแดงเพื่อระบุการสูญเสียความแม่นยำ

ต้นไม้แนะนำ

เมื่อจุลินทรีย์ของ hex-rays เพิ่มขึ้นในวุฒิภาวะการสลายตัวของท่อย่อยจะเริ่มที่จะทำรังไมโครไดรฟ์เป็นคำสั่งย่อยและการดำเนินการย่อยที่ก่อตัวเป็นโครงสร้างที่ใช้ต้นไม้

คุณสามารถดูต้นไม้แต่ละต้นเหล่านี้ได้โดยคลิกขวาคำสั่งและเลือก View subtree

ข้อบกพร่องที่รู้จัก

เนื่องจากนี่คือการเปิดตัวครั้งแรกจึงอาจมีนิสัยใจคอและข้อบกพร่องเล็ก ๆ จำนวนหนึ่ง นี่คือปัญหาที่ทราบกันไม่กี่ในเวลาที่วางจำหน่าย:

• ในขณะที่ซิงค์กับ hexray
• เมื่อเปิดกราฟการเปิดสอนย่อยหน้าต่าง/แท็บโฟกัสสามารถเปลี่ยนแปลงได้อย่างไม่คาดคิด
• MicroCode Explorer ไม่ได้เทียบท่าไปที่ช่องทางด้านขวาสุดบน Linux?
• การสลับระหว่างหน้าต่าง pseudocode หลายรายการในฟังก์ชั่นที่แตกต่างกันอาจทำให้เกิดปัญหา
• ดับเบิลคลิกที่ความคิดเห็นที่อยู่คำสั่งอาจขัดข้อง IDA หากไม่มีมุมมองที่เหมาะสมในการข้ามไป
• ปลั๊กอินยังไม่ได้รับการทดสอบอย่างแข็งแกร่งบน Mac / Linux
• -

หากคุณพบปัญหาใด ๆ หรือพฤติกรรมที่ไม่ดีโปรดยื่นปัญหา

งานในอนาคต

เวลาและแรงจูงใจที่อนุญาตการทำงานในอนาคตอาจรวมถึง:

• ทำความสะอาดรหัส .......
• การวางกราฟการสอนย่อยแบบอินเทอร์แอคทีฟ (ถึง pattern_t / กฎ)
• MicroCode Optimizer Development Workflow?
• MicroCode Optimization Manager?
• Ctree Explorer (และสิ่งที่คล้ายกันกับกราฟที่คล้ายกัน ... )
• ข้อความคำใบ้ microcode?
• ปรับปรุงการแปลเลเยอร์
• ปรับปรุงประสิทธิภาพ
• โยกย้าย IDA CodeView?
• -

ฉันยินดีต้อนรับการมีส่วนร่วมภายนอกปัญหาและคำขอคุณลักษณะ โปรดส่งคำขอดึงไปยังสาขา develop ของที่เก็บนี้หากคุณต้องการให้พวกเขาได้รับการพิจารณาสำหรับการเปิดตัวในอนาคต

ผู้เขียน

• Markus Gaasedelen (@gaasedelen)