Privacy policy enforcement against implicit information flows

This page shows how smalien operates privacy policy enforcement against implicit information flows.

A sample application is 1_EncodingTrick_for_bh.apk in samples/ directory. This experiment should be done with an Android emulator.

Check how data leakage occurs with the original application

1. Install the application to an Android emulator.
2. Start a server listening at port 8000.

nc -l 8000

3. Run the application on the emulator.

Apply Smalien to the application

1. Launch Smalien, and start the analysis with the privacy policy enforcement is checked.
2. Start a server again, and run the application.