Java ไบนารีเครื่องมือเพิ่ม (JBET) คือการวิเคราะห์โปรแกรม Java ทั่วไปและเครื่องมือการจัดการ ไฟล์ที่มีอยู่ระดับที่สามารถถอดประกอบหรือแก้ไขโปรแกรมผ่าน JBET API JBET นอกจากนี้ยังสามารถใช้ในการสร้างไฟล์ระดับ Java ใหม่ตั้งแต่เริ่มต้น JBET ใช้แทนภายในที่สะดวกในการเนื้อหาทั้งหมดของ Java ไบนารี (.class) ไฟล์ที่ช่วยให้ผู้ใช้สามารถแก้ไขการเรียนได้อย่างง่ายดายในลักษณะโครงสร้าง
JBET ได้รับการพัฒนาเป็นส่วนหนึ่งของ DARPA ปกป้องตนเองตัวแทนมือถือภายใต้โครงการ OASIS และโปรแกรมที่ใช้งานเครือข่าย (สัญญาจำนวน N66001-00-C-8602) เพื่อศึกษา obfuscation ซอฟต์แวร์อัตโนมัติ
ภาษา Java เป็นทางเลือกสำหรับโครงการนี้เพราะ (ญาติ) ความสะดวกในการสร้างเครื่องมือในการแก้ไขไบนารีจัดไว้ให้โดยข้อมูลจำนวนมากชนิดที่อยู่ในระดับไฟล์ สองรายงานของเรา Obfuscation เทคนิคการประเมินผลการรายงานและรายงาน Obfuscation, ที่มีอยู่จากพื้นที่ดาวน์โหลด เครื่องมือ obfuscation พัฒนาไม่เป็นส่วนหนึ่งของรุ่นนี้
JBET ยังถูกใช้ใน DARPA / AFRL Survivable โครงการ Server (สัญญาจำนวน F30602-00-C-0183) เพื่อเพิ่มการตรวจสอบการรักษาความปลอดภัยเพิ่มเติมเพื่อ Java มาตรฐานห้องสมุด (Java SecurityManager API ไม่สนับสนุนการตรวจสอบความปลอดภัยจำนวนมากที่พึงประสงค์เช่นการอนุญาตอย่างต่อเนื่องของการเข้าถึงไฟล์หลังจากการเปิด.)
JBET ถูกใช้ในการเปลี่ยนวิธีการอ้างอิงพื้นเมืองใน Java ห้องสมุดมาตรฐานกับต้นขั้วที่เรียกร้องนโยบายความปลอดภัย pluggable เครื่องมือนี้เรียกว่า Jpolicy ยังสามารถดาวน์โหลดได้ที่เว็บไซต์นี้ Jpolicy ไม่สมบูรณ์มากในเวลานี้ แต่อาจจะเป็นที่น่าสนใจให้กับผู้ที่ทำงานในการรักษาความปลอดภัย Java หรือการเปลี่ยนแปลงห้องสมุดมาตรฐานตัวเอง
แสดงภายในแฟ้มระดับ Java ใช้โดย JBET เป็น intented จะทำให้มันง่ายสำหรับการเขียนโปรแกรมในการเขียนการแปลงรหัสไบนารี Java องค์ประกอบของไฟล์ระดับ Java แต่ละคนมีโครงสร้างข้อมูลภายในที่สอดคล้องกัน: ClassInfo สำหรับการเรียนทั้ง MethodInfo สำหรับวิธีการ FieldInfo สำหรับเขตข้อมูล, snippit บล็อกรหัสและการเรียนการสอนสำหรับคำแนะนำของแต่ละบุคคล snippit และการสอนเข้าใจไวยากรณ์ Java opcode และความหมายที่ช่วยให้การสร้างอัตโนมัติของโปรแกรมจาวาที่ถูกต้อง ตรวจสอบระดับ Java ได้ยังเป็นที่รวม
การแปลงรหัสบางคนมีความยากในการเขียนโปรแกรมโดยตรงโดยการจัดการคำแนะนำ Java สำหรับการแปลงเหล่านั้นชี้นำวัฏจักรกราฟ (DAG) เป็นตัวแทนของรหัสสามารถใช้ได้ ในการเป็นตัวแทน DAG แต่ละบล็อกมีพื้นฐาน DAG ที่สอดคล้องกันกับชุดของอินพุทและเอาท์พุทโหนด ขอบในกราฟเชื่อมต่อ "ผู้ผลิต" โหนด (เช่นค่าคงที่หรือผลของการคำนวณ) เพื่อ "ผู้ใช้" โหนด (เช่นสายวิธีการหรือการคำนวณอื่น ๆ ) วิธีการจะแบ่งออกเป็นบล็อกขั้นพื้นฐานและการควบคุมการไหลจะถูกเก็บไว้ในระดับบล็อกระดับล่าง (Java ไปได้เพราะได้กำหนดเป้าหมายเพียงกระโดด)
JBET ต้องใช้ Java 1.4 เครื่องเสมือนในการทำงานแม้ว่ามันจะสามารถทำงานกับไฟล์ระดับจากรุ่นก่อนหน้านี้ Java บรรจุภัณฑ์และการสร้างสภาพแวดล้อมที่ให้มาสนับสนุน Linux และ Windows ด้วย Cygwin; แต่การสร้างกระบวนการที่ง่ายและสามารถดำเนินการด้วยตนเองบนแพลตฟอร์มอื่น ๆ Perl เป็นสิ่งจำเป็นสำหรับการทดสอบการถดถอย
Jpolicy ต้องใช้ Java 1.4 เครื่องเสมือนที่จะสร้างทั้ง Linux หรือ Windows NT / XP ที่มี Cygwin gcc เป็นสิ่งจำเป็นสำหรับการสร้างบน Windows (มาพร้อมกับ Cygwin) ระบบรันไทม์สามารถเป็นได้ทั้ง Java 1.3 หรือ 1.4 (โดยมี JVM ของดวงอาทิตย์เท่านั้น) ที่ทำงานบนลินุกซ์หรือ Windows NT / XP Windows 9x และ Windows 2000 อาจทำงานได้เช่นกัน แต่ยังไม่ได้รับการทดสอบ
การติดตั้ง
1. ติดตั้ง jdk 1.4.1
2. ชุด CLASSPATH เพื่อ jdk1.4.1 / JRE / lib / rt.jar
3. ซีดี src; ทำ
4. หากที่ไม่ทำงานตรวจสอบ Makefile จาวา javac หรืออาจจะไม่อยู่ในเส้นทาง
5. เพื่อสร้าง jar ไฟล์ที่สามารถนำมาใช้กับ "จาวา -jar jbet.jar" เรียก "ทำให้ขวด"
6. หากคุณติดตั้ง Perl เรียกใช้การทดสอบด้วย "ทำให้การทดสอบ"
เลือกทำงาน "ทำให้ฟื้นฟู; ทำให้การทดสอบ"
ทำให้การเชื่อมโยงสัญลักษณ์จาก jbet3 / bin / JBET ไปที่ใดที่หนึ่งในเส้นทางของคุณ
การใช้
JBET ใช้รูปแบบ JNI สำหรับชื่อชั้นและประเภท JNI และอธิบายวิธีการ สำหรับบทสรุปของรูปแบบนี้ใช้ 'ช่วยไวยากรณ์ JBET' ข้อกำหนด JVM ของดวงอาทิตย์ยังอาจจะเป็นประโยชน์
จะมองไปที่การถอดชิ้นส่วนชั้นใช้ 'พิมพ์ JBET' พยายามแยกส่วนระดับคุณมีแหล่งที่มาสำหรับและถูกสร้างขึ้นด้วยข้อมูลการแก้ปัญหา (-G): 'JBET -P
ความคิดเห็นที่ไม่พบ