Fix "local type not allowed in final code: null_type" exception

[zjbthomas]

With IccTA enabled to detect ICC flows, when to instrument onServiceConnected(ComponentName, IBinder) for bound Service, a Local of NullType is created to represent the first argument of type ComponentName. However, NullType is not acceptable in the final Jimple code generated by Soot, when validating the body. Thus, an exception with the following message will be thrown:

(<dummyMainClass: void redirector0(android.content.ServiceConnection,android.content.Intent)>) local type not allowed in final code: null_type local

This simple fix replaces NullType with the correct type ComponentName. Though even with this fix, FlowDroid still lacks the mechanism to detect ICC flows of bound Service, this fix can at least make sure FlowDroid finish its analysis without abnormal termination when onServiceConnected(ComponentName, IBinder) is used in the application code.

You can validate this fix by running test on DroidBench app ServiceCommunication1.

[StevenArzt]

Thanks a lot for this fix. If you want to work on IBinder support, that would be greatly appreciated.