Java Path Finder für Bytecode Verifikation in einem bestehenden Projekt, Bytecode Verifikation

Question

Ich versuche, JPF zu verwenden, um meinen Bytecode zu überprüfen, der während der Laufzeit mit javassist generiert wird.

Der Code, den ich versuche zu überprüfen, wird vom Benutzer während der Ausführung meines Programms bereitgestellt. Da ich nicht alle OOP-Modelle und solche Sachen überprüfen kann, brauche ich einen Überprüfungsprozess, bevor ich seinen Code ausführe.

Im Moment erzeuge ich einfach Bytecode mit javassist aus seinen Klassen.

Mein Problem ist jetzt, dass ich manchmal Ausnahmen bekomme, weil der Benutzer einige Vererbungsfehler und so Sachen gemacht hat und meine Anwendung mit einer Ausnahme heruntergefahren ist, weil ich versucht habe, seine Klassen zu laden und auszuführen.

Daher möchte ich diesen generierten Bytecode in Laufzeit überprüfen, um solche Ausnahmen zu vermeiden und früher zu wissen, ob die vom Benutzer bereitgestellten Klassen fehlerhaft sind (oder ein Problem enthalten).

Ist dies mit JPF während der Laufzeit möglich?

Irgendwelche anderen Lösungen auf diesem?

Danke!

Answer 1

Es gibt viele Punkte zu überprüfen, fangen: selbst

• die Bytecode nach den class file format

• die Laufzeitphasen: loading, linking and initializing

aus meiner Sicht ein ClassLoader hat das alles Schritte, aber Es lädt im Allgemeinen eine Klasse zu einer Zeit und nur auf Anfrage.

In Ihrem Kontext schlage ich Ihnen vor, eine ClassLoader schreiben, die in Reihenfolge alle Klassen von generierten Bytecodes lädt und jeden fehlerhaften Klassennamen mit gefangenen Ausnahmen meldet. Der ClassLoader wird mit dem Verweis auf den relevanten übergeordneten ClassLoader instanziiert und nach dem Test verworfen. Der generierte Bytecode wird dann vom ursprünglichen ClassLoader des Laufzeitkontexts geladen.

Wahrscheinlich kann diese Klassenladeprüfung dank OSGi implementiert werden, erfordert aber mehr Aufwand als ein eigenständiger ClassLoader.

Answer 2

Als JPF verwendet BCEL Stand-alone Bytecode Verifier kann hilfreich sein. Rufen Sie die Verifier-Klasse programmgesteuert auf oder tauchen Sie in die Details dieser Klasse ein. hth

Answer 3

Wenn Sie nicht unbedingt JPF verwenden müssen, enthält die ASM-Bibliothek CheckClassAdapter, der Bytecode verifizieren kann. Es ist nur eine Plausibilitätsprüfung aber - ich glaube es nicht Probleme mit Vererbung usw.