Java Binary εργαλείο βελτίωσης (JBET) είναι ένα γενικό εργαλείο ανάλυσης Java πρόγραμμα και τις πράξεις χειραγώγησης. Τα υπάρχοντα αρχεία τάξη μπορεί να αποσυναρμολογηθεί, ανακατασκευασμένα ή επεξεργασία προγραμματισμού μέσω του JBET API. JBET μπορεί επίσης να χρησιμοποιηθεί για να δημιουργήσει νέα αρχεία Java τάξη από το μηδέν. JBET χρησιμοποιεί ένα βολικό εσωτερική αναπαράσταση του συνόλου των περιεχομένων της Java δυαδικό (.class) αρχεία, επιτρέποντας στο χρήστη να επεξεργαστείτε τις κατηγορίες εύκολα, με δομημένο τρόπο.
JBET αναπτύχθηκε ως μέρος της DARPA Αυτο-Προστασία σχέδιο Κινητών πράκτορες στο πλαίσιο του OASIS και των ενεργητικών προγραμμάτων Δικτύων (αριθμός σύμβασης N66001-00-C-8602), προκειμένου να μελετήσει αυτοματοποιημένο συσκότιση λογισμικού.
Η γλώσσα Java επελέγη για το έργο αυτό, λόγω της (σχετική) ευκολία κατασκευής δυαδικό εργαλεία επεξεργασίας που παρέχονται από τον μεγάλο όγκο των πληροφοριών τύπου που υπάρχουν στα αρχεία της κατηγορίας. Δύο εκθέσεις μας, τις τεχνικές Συσκότιση Έκθεση Αξιολόγησης, και η έκθεση Συσκότιση, είναι διαθέσιμα από την περιοχή λήψης. Το εργαλείο συσκότισης που αναπτύχθηκε δεν αποτελεί μέρος αυτής της απελευθέρωσης.
JBET χρησιμοποιήθηκε επίσης στην DARPA / AFRL έργο Survivable Server (αριθμός συμβολαίου F30602-00-C-0183) για να προσθέσετε επιπλέον ελέγχους ασφαλείας για την Java Standard Library. (Η Java SecurityManager API δεν υποστηρίζει πολλά επιθυμητά ελέγχους ασφαλείας, όπως η συνέχιση της έγκρισης του φακέλου προσβάσεις μετά το άνοιγμα).
JBET χρησιμοποιήθηκε για να αντικαταστήσει τα εγγενή αναφορές μέθοδο στην πρότυπη βιβλιοθήκη της Java με στελέχη που καλούν έναν κουμπωτό πολιτική ασφάλειας. Αυτό το εργαλείο, που ονομάζεται Jpolicy, είναι επίσης διαθέσιμο για download σε αυτή την ιστοσελίδα. Jpolicy είναι πολύ ελλιπής αυτή τη στιγμή, αλλά μπορεί να είναι ενδιαφέρον σε όσους εργάζονται σε Java ασφάλεια ή την αλλαγή του προτύπου βιβλιοθήκης τους.
Η εσωτερική αναπαράσταση της Java κλάση αρχεία που χρησιμοποιούνται από JBET επιδιώκει να αποτελέσει το καθιστούν εύκολο για τους προγραμματιστές να γράφουν Java μετασχηματισμών δυαδικό κώδικα. Κάθε στοιχείο της Java αρχεία τάξη έχει μια αντίστοιχη εσωτερική δομή δεδομένων: ClassInfo για ολόκληρες τάξεις, MethodInfo για τις μεθόδους, FieldInfo για πεδία, Snippit για μπλοκ κώδικα, και Οδηγίες για μεμονωμένες οδηγίες. Snippit και Διδασκαλία κατανοήσουν τη σύνταξη κώδικα εντολής Java και τη σημασιολογία, επιτρέπει την αυτόματη δημιουργία έγκυρων προγραμμάτων Java. Ένα Java-συμβατό κατηγορία ελεγκτή περιλαμβάνεται επίσης.
Μερικοί μετασχηματισμοί κώδικα είναι δύσκολο να εγκαταστήσετε το πρόγραμμα με το χειρισμό οδηγίες Java. Για αυτούς τους μετασχηματισμούς, ένα κατευθυνόμενο άκυκλο γράφημα (DAG) αναπαράσταση του κώδικα είναι διαθέσιμη. Στην παράσταση του Δ.Σ.Ε., κάθε βασικό μπλοκ έχει ένα αντίστοιχο Δ.Σ.Ε., με ένα σύνολο κόμβων εισόδου και εξόδου. Οι ακμές στο γράφημα συνδεθείτε "παραγωγός" κόμβους (όπως σταθερές, ή το αποτέλεσμα των υπολογισμών) σε κόμβους "χρήστης" (όπως ο τρόπος κλήσεις ή άλλους υπολογισμούς). Οι μέθοδοι χωρίζονται σε βασικά μπλοκ και τον έλεγχο της ροής αποθηκεύονται στο βασικό επίπεδο μπλοκ (δυνατό επειδή Java έχει καθορίσει μόνο στόχους άλμα)
JBET απαιτεί Java 1.4 εικονική μηχανή να τρέξει, αν και μπορεί να λειτουργήσει σε τάξη τα αρχεία από προηγούμενες εκδόσεις της Java. Το περιβάλλον συσκευασία και την κατασκευή παρέχονται υποστηρίζει Linux και Windows με Cygwin? Ωστόσο, η διαδικασία κατασκευής είναι απλή και μπορεί να πραγματοποιηθεί με το χέρι σε άλλες πλατφόρμες. Perl απαιτείται για δοκιμές παλινδρόμησης.
Jpolicy απαιτεί Java 1.4 εικονική μηχανή για την κατασκευή, είτε Linux ή Windows NT / XP με Cygwin. GCC απαιτείται για την οικοδόμηση στα Windows (παρέχεται με Cygwin). Το σύστημα runtime μπορεί να είναι είτε Java 1.3 ή 1.4 (με της Sun JVM μόνο), που τρέχει σε Linux ή Windows NT / XP. Windows 9x και Windows 2000, μπορεί να λειτουργεί τόσο καλά, αλλά δεν έχουν δοκιμαστεί.
Εγκατάσταση
1. Εγκαταστήστε το JDK 1.4.1.
2. Ορισμός CLASSPATH να jdk1.4.1 / JRE / lib / rt.jar
3. cd SRC? κάνω
4. Εάν αυτό δεν λειτουργήσει, να εξετάσει το Makefile. java ή javac δεν μπορεί να είναι στο δρόμο.
5. Για να δημιουργήσετε ένα αρχείο βάζο που μπορεί να χρησιμοποιηθεί με "Java -jar jbet.jar", τρέχουν "να κάνει βάζο".
6. Αν έχετε perl, εκτελέστε τις δοκιμές με το «κάνει δοκιμή».
Προαιρετικά, εκτελέστε "κάνει ανάπλαση? Κάνει τεστ".
Κάντε μια συμβολική σύνδεση από jbet3 / bin / jbet κάπου στην πορεία σας.
Χρήση
JBET χρησιμοποιεί τη μορφή JNI για τα ονόματα κατηγορίας, και τον τύπο JNI και η μέθοδος περιγραφής. Για μια περίληψη αυτής της σύνταξης, χρησιμοποιήστε «jbet σύνταξη βοήθεια». Προδιαγραφή JVM Sun μπορεί επίσης να είναι χρήσιμη.
Για να αναζητήσετε σε μια τάξη την αποσυναρμολόγηση, χρήση «jbet εκτύπωσης». Δοκιμάστε την αποσυναρμολόγηση μια κατηγορία που έχετε πηγή, και χτίστηκε με πληροφορίες εντοπισμού σφαλμάτων (-G): «jbet -P
Τα σχόλια δεν βρέθηκε