"Wozu dann eine Lowlevelsprache, die aber eigentlich garnicht so Lowlevel sein soll, indem eine Sandbox drumgemacht wird?"

Nein, die Idee ist nicht eine Sandbox drum zu bauen sondern _vor der Ausfuehrung_ durch statische Analyse festzustellen ob der Code boeses macht. Da man mit statischer Analyse aber nicht besonders viel Aussagen ueber das tatsaechliche Verhalten des Programms machen kann, denke ich, dass die die Ausdrucksstaerke des nativen Codes stark einschraenken muessen. Frage ist auch ob die statische Analyse nicht so lange dauert dass man auch einfach java code in der zeit nativ compilieren + optimieren koennte.