Slicing criterion not found after preSlicer.sh (Step: 5)

[FoelliX]

Hi there,

nice work coming up with a slicer for Android apps.
However, I got some issues using it.

All files mentioned in the following are included here: test.zip

After Step 4 I found the following line in testApp.apk_signed.apk.logcat.txt:
11-09 11:36:51.183 19538 19538 I System.out: CALLBACK_SLC: SLICING: ZZZ-1ZZZde.foellix.aql.slicer.slicertestapp.TargetLeakZZZonCreateZZZ__inst__ZZZvirtualinvoke $r4.<android.telephony.SmsManager: void sendTextMessage(java.lang.String,java.lang.String,java.lang.String,android.app.PendingIntent,android.app.PendingIntent)>("+49 1234", null, $r3, null, null)
This line includes the desired statement that should be used as slicing criterion, however, after executing Step 5 I cannot find that statement anymore in testApp.apk_signed.apk.logcat.processed.txt.
Thus, I cannot proceed with the last step, since I cannot identify the intended slicing criterion. What am I missing?

Made three adaptions to the usage-instructions given:

• To get through step 3 I had to adapt the path to the rt.jar in instrumenter.sh,
• for signing I had to remove MANIFEST.MF from the APK generated by Soot. Added zip -d sootOutput/$1 "META-INF/MANIFEST.MF" to instrumenter.sh in line 18 to do so. Thereafter, I could successfully instrument, install and run the APK.
• adb logcat | grep SLICING > testApp.apk_signed.apk.logcat.txt gave me incomplete output (see last line in testApp_signed.apk.logcat_incomplete.txt). Thus, I used adb logcat -e "SLICING" > testApp.apk_signed.apk.logcat.txt which should do the same.

Looking forward to hearing from you!

Cheers,
FoelliX