KTH Demo: Inliner

The demo pages

These pages demonstrate the inliner tool for java bytecode programs developed at KTH.

The Tool

The inliner inputs an arbitrary program in java bytecode, a policy written in ConSpec and information about the security relevant parts of the API and outputs a modified version of the program that respects the policy. Further information about the tool can be found in the prototype report Inliner.pdf.

What is demonstrated

The demo shows how the inliner is run to modify the untrusted application so that it obeys the given policy. The original application and the application inlined for the default policy is available for download so that the user can observe the change in the behavior created by the inlining. Additionally, the user can change the policy and inline the Mobile Jam application for this new policy and download the inlined application.