"Java" Dvejetainis didinimas įrankis (JBET) yra bendra "Java" programa analizė ir manipuliavimo priemonė. Esamos klasė failai gali būti išardomi, perrinktas, redaguojami ar programiškai per JBET API. JBET taip pat gali būti naudojama siekiant sukurti naujos "Java klasės failus nuo nulio. JBET naudoja patogų vidaus atstovavimą visoms Java BINARY (.class) failų turinį, leidžianti vartotojui redaguoti klases lengvai struktūriniu būdu.
JBET buvo sukurtas kaip dalis DARPA Savęs Apsauga Mobilus agentų projektui pagal OASIS ir aktyvus tinklų programas (sutarties numeris N66001-00-C-8602), siekiant studijuoti automatizuoto programinės įrangos apgadinimu.
"Java" kalba buvo pasirinkta šiam projektui, nes (santykinis) paprastumas statant dvejetainius redagavimo įrankius, kurias teikia didelės sumos tipo informacijos šioje klasėje failus. Mūsų du pranešimus, apgadinimu technika vertinimo ataskaitą ir apgadinimu ataskaitoje, yra iš atsisiuntimo srityje. Apgadinimu priemonė, sukurta nepriklauso šioje laidoje.
JBET taip pat buvo naudojamas DARPA / AFRL išgyventi Server projektą (sutarties numeris F30602-00-C-0183) pridėti papildomų saugumo patikrinimus, Java Standard bibliotekoje. ("Java" SecurityManager API nepalaiko daug pageidautinų saugumo patikrinimus, kaip antai toliau leidimo failą pasiekia po atidarymo.)
JBET buvo naudojami vietoj gimtoji metodas nuorodas Java standartinėje bibliotekoje su Nepilni kad skambinti Pluggable saugumo politiką. Šis įrankis, vadinamas Jpolicy, taip pat galima atsisiųsti šioje svetainėje. Jpolicy yra labai neišsami šiuo metu, tačiau gali būti įdomūs tiems, kurie dirba "Java saugumo ar patys keičiant standartinę biblioteką.
Vidinis atstovavimas Java klasės failus naudojamų JBET yra intented, kad būtų lengva programuotojų rašyti Java dvejetainis kodas transformacijas. Kiekviena klasė Java failus elementas turi atitinkamą vidaus duomenų struktūrą: ClassInfo ištisoms klasėms, MethodInfo metodų, FieldInfo laukuose, Snippit už kodo blokus, ir nurodymus dėl atskirų nurodymų. Snippit ir Instrukcija suprasti Java komandą atpažįstantį operacijos kodo sintaksę ir semantiką, todėl automatizuotas sudarymas galiojančių Java programas. Java suderinama klasė tikrintojas taip pat.
Kai kodas transformacija yra sunku programuoti tiesiogiai manipuliuoti Java instrukcijas. Tiems transformacijas, nukreiptas alifatinės grafikas (DAG) atstovavimas kodas yra prieinama. Į DAG atstovavimo, kiekviena bazinė blokas turi atitinkamą dag, su įėjimo ir išėjimo mazgų rinkinys. Kraštai grafike prijungti "gamintojas" mazgus (tokius kaip konstantų, ar skaičiavimų rezultatas) į "naudotojas" mazgus (pvz metodas reikalauja arba kiti skaičiavimai). Metodai yra skirstomi į pagrindinius blokus ir kontrolės srautas saugomi pagrindinio bloko lygiu (galima, nes Java tik fiksuoto šuolis tikslus)
JBET reikalauja Java 1.4 virtualią mašiną paleisti, nors ji gali veikti klasių failus iš ankstesnių Java versijas. Pakavimas ir kurti aplinką tiekiamas palaiko Linux ir Windows su Cygwin; Tačiau, statyti procesas yra paprastas ir gali būti atliekamas rankiniu būdu kitų platformų. Perlas yra reikalingas regresijos.
Jpolicy reikalauja Java 1.4 virtualią mašiną pastatyti, arba "Linux" arba "Windows NT / XP Cygwin. GCC reikia statyti ant Windows (yra komplekte su Cygwin). Trukmė sistema gali būti arba "Java 1.3 ar 1.4 (tik su Sun JVM), veikia Linux ar Windows NT / XP. "Windows 9x ir Windows 2000 gali dirbti taip pat, bet nebuvo patikrintas.
Montavimas
1. Įdiekite JDK 1.4.1.
2. Nustatyti CLASSPATH į jdk1.4.1 / JRE / lib / rt.jar
3. CD src; padaryti
4. Jei tai neveikia, patikrinkite Makefile. java arba javac gali būti ne keliu.
5. Norėdami sukurti jar failą, kuris gali būti naudojamas su "Java-jar jbet.jar" paleisti ", kad stiklainis".
6. Jei perl įrengtas, paleisti bandymus su "padaryti testą".
Pasirinktinai paleisti "padaryti Regen; padaryti testą".
Padaryti simbolinę nuorodą iš jbet3 / bin / jbet kažkur jūsų kelyje.
Naudojimas
JBET naudoja JNI formatą klasės pavadinimų ir JNI tipas ir metodas aprašai. Dėl santrauka šio sintaksė, naudokite "jbet pagalbos sintaksę". Saulės JVM specifikacija taip pat gali būti naudinga.
Pažvelgti į klasę išardymo, naudokite "Spausdinti" jbet. Pabandykite demontavimas klasę turite šaltinis ir buvo pastatytas su debug info (-G): "jbet -P
Komentarai nerastas