Java Binary Enhancement Tool (JBET) là một phân tích chương trình Java và thao tác công cụ nói chung. Tập tin lớp học hiện tại có thể được tháo rời, lắp ráp lại, hoặc sửa lập trình thông qua các API JBET. JBET cũng có thể được sử dụng để tạo ra các tập tin lớp Java mới từ đầu. JBET sử dụng một đại diện nội bộ thuận tiện của tất cả các nội dung của Java nhị phân (.class) các tập tin, cho phép người dùng chỉnh sửa các lớp học một cách dễ dàng, trong một cách có cấu trúc.
JBET đã được phát triển như là một phần của DARPA tự bảo vệ Đại lý Điện thoại di động dự án theo OASIS và Networks chương trình hoạt động (hợp đồng số N66001-00-C-8602) để nghiên cứu tự động obfuscation phần mềm.
Các ngôn ngữ Java đã được lựa chọn cho dự án này vì (tương đối) dễ dàng xây dựng các công cụ chỉnh sửa nhị phân được cung cấp bởi số lượng lớn các loại thông tin có trong các file class. Hai báo cáo của chúng tôi, các kỹ thuật Obfuscation Báo cáo Đánh giá và Báo cáo Obfuscation, có sẵn từ các khu vực download. Các công cụ phát triển obfuscation không phải là một phần của phiên bản này.
JBET cũng được sử dụng trong các dự án Survivable chủ DARPA / AFRL (hợp đồng số F30602-00-C-0183) để thêm kiểm tra an ninh bổ sung vào thư viện chuẩn Java. (The Java SecurityManager API không hỗ trợ nhiều kiểm tra an ninh mong muốn, chẳng hạn như tiếp tục ủy quyền truy cập tập tin sau khi mở cửa.)
JBET đã được sử dụng để thay thế các tài liệu tham khảo phương pháp bản địa trong các thư viện chuẩn Java với cuống mà gọi một chính sách an ninh pluggable. Công cụ này, được gọi là Jpolicy, cũng có sẵn để tải về tại trang web này. Jpolicy là rất không đầy đủ vào thời điểm này, nhưng có thể là thú vị cho những người làm việc trong bảo mật Java hoặc thay đổi các tiêu chuẩn thư viện mình.
Các đại diện bên trong các tập tin lớp Java được sử dụng bởi JBET là intented để làm cho nó dễ dàng cho các lập trình viên để viết Java biến đổi mã nhị phân. Mỗi thành phần của file class Java có một cấu trúc dữ liệu nội bộ tương ứng: ClassInfo về toàn bộ các lớp học, các phương pháp MethodInfo, FieldInfo dành cho các lĩnh vực, snippit dành cho khối mã, và Hướng dẫn để được hướng dẫn cá nhân. Snippit và Instruction hiểu cú pháp và ngữ nghĩa opcode Java, cho phép tạo ra tự động của chương trình Java hợp lệ. Một Java tương thích với lớp người xác minh cũng được bao gồm.
Một số biến đổi mã là khó khăn cho chương trình trực tiếp bằng cách thao tác hướng dẫn Java. Đối với những biến đổi, một đạo diễn đồ thị acyclic (DAG) đại diện của mã có sẵn. Trong các đại diện DAG, mỗi khối cơ bản có một DAG tương ứng, với một tập hợp các đầu vào và đầu ra các nút. Cạnh của đồ thị kết nối "sản xuất" các nút (chẳng hạn như các hằng số, hoặc kết quả của phép tính) để "dùng" nút (chẳng hạn như các cuộc gọi phương thức hay tính toán khác). Phương pháp này được chia thành các khối cơ bản và kiểm soát dòng chảy được lưu trữ ở cấp độ khối cơ bản (có thể vì Java đã chỉ cố định các mục tiêu nhảy)
JBET đòi hỏi 1,4 máy ảo Java để chạy, mặc dù nó có thể hoạt động trên các tập tin class từ phiên bản Java trước đó. Các môi trường đóng gói và xây dựng cung cấp hỗ trợ Linux và Windows với Cygwin; Tuy nhiên, quá trình xây dựng là đơn giản và có thể được thực hiện bằng tay trên các nền tảng khác. Perl là cần thiết để thử nghiệm hồi quy.
Jpolicy đòi hỏi một máy ảo Java 1.4 để xây dựng, hoặc Linux hoặc Windows NT / XP với Cygwin. gcc là cần thiết cho việc xây dựng trên Windows (cung cấp với Cygwin). Hệ thống thời gian chạy có thể là Java 1.3 hoặc 1.4 (với chỉ JVM của Sun), chạy trên Linux hoặc Windows NT / XP. Windows 9x và Windows 2000 có thể làm việc tốt, nhưng đã không được kiểm tra.
Lắp đặt
1. Cài đặt jdk 1.4.1.
2. Set CLASSPATH để jdk1.4.1 / jre / lib / rt.jar
3. cd src; làm
4. Nếu điều đó không làm việc, kiểm tra các makefile. java javac hoặc có thể không có trong đường dẫn.
5. Xây dựng một tập tin jar có thể được sử dụng với "java -jar jbet.jar", chạy "làm cho jar".
6. Nếu bạn đã cài đặt perl, chạy thử nghiệm với "làm bài kiểm tra".
Tùy chọn, chạy "make regen; làm bài kiểm tra".
Tạo một liên kết mềm từ jbet3 / bin / jbet nơi nào trong con đường của bạn.
Cách sử dụng
JBET sử dụng định dạng JNI cho tên lớp, và loại JNI và phương pháp mô tả. Đối với một bản tóm tắt về cú pháp này, sử dụng 'cú pháp giúp đỡ jbet'. Đặc điểm kỹ thuật của JVM Sun cũng có thể hữu ích.
Để xem xét một tháo gỡ lớp, sử dụng 'in jbet'. Hãy thử tháo một lớp bạn có nguồn cho, và được xây dựng với thông tin debug (-g): 'jbet -P
Bình luận không