seninja
v0.5.0
: เริ่มการดำเนินการ
มุมมองการลงทะเบียนสามารถใช้เพื่อแสดงภาพค่าของการลงทะเบียนของสถานะที่ใช้งานอยู่ ค่าของการลงทะเบียนสามารถแก้ไขได้โดยดับเบิลคลิกที่มัน เมนูคลิกขวาอนุญาตให้:
มุมมองหน่วยความจำสามารถใช้เพื่อแสดงค่าของส่วนของหน่วยความจำของสถานะที่ใช้งานอยู่ โดยคลิกที่ "ตรวจสอบหน่วยความจำ" ผู้ใช้สามารถระบุที่อยู่หน่วยความจำเพื่อตรวจสอบ วิดเจ็ตจะแสดง 512 ไบต์เริ่มต้นจากที่อยู่นั้น มุมมองหน่วยความจำถูกแยกออกเป็นสองส่วน: hexview และมุมมอง ASCII hexview แสดงค่า hex ของแต่ละไบต์เฉพาะเมื่อไบต์ถูกแมปและคอนกรีต หากไบต์ไม่ได้ใช้งานตัวอักษร _ จะปรากฏขึ้น หากไบต์เป็นสัญลักษณ์วิดเจ็ตแสดงตัว . -
เมนูคลิกขวาอนุญาตให้:
วิดเจ็ตนี้ช่วยให้การสร้างบัฟเฟอร์ที่มีข้อมูลสัญลักษณ์
สามารถดำเนินการ API ได้มากขึ้นผ่านเชลล์ Python ตัวอย่างเช่นเราสามารถใช้ตัวแก้ปัญหาเพื่อ พิสูจน์ เงื่อนไขสำหรับสถานะปัจจุบัน:
> >> import borzacchiello_seninja as seninja
> >> s = seninja . get_current_state ()
> >> s . solver . satisfiable ( extra_constraints = [ s . regs . eax == 3 ]) รหัสจะตรวจสอบความพึงพอใจของ eax == 3 เนื่องจากข้อ จำกัด เส้นทางของสถานะที่ใช้งานอยู่
ปรึกษาวิกิเพื่อมีข้อมูลเพิ่มเติมเกี่ยวกับคำสั่ง
Seninja ให้ความเป็นไปได้ที่ผู้ใช้ในการกำหนดค่าหลายส่วนของเอ็นจิ้นสัญลักษณ์ (เช่นมิติของหน้า, กลยุทธ์การเข้าถึงหน่วยความจำสัญลักษณ์ ฯลฯ ) การตั้งค่าที่มีอยู่ทั้งหมดสามารถเข้าถึงและแก้ไขได้โดยคลิกที่ Edit/Preferences/Settings และเลือก SENinja ในวิดเจ็ตด้านซ้าย
ทดสอบกับ
4.0 พร้อมใบอนุญาตส่วนบุคคล3.114.8.14 เพื่อให้ทำงานได้คุณต้องติดตั้ง Z3 ด้วย PIP: $ pip3 install z3-solver
