Extending TIRO to extract path conditions

[imranur-rahman]

Hi, I have read the paper (and IntelliDroid) and tried your tool. However, I want to extract Interprocedural path constraints from an Android apk. But I am not properly sure how to modify TIRO to do that. Can you please tell me if you have any idea how to do that or any idea how to move forward in that direction?

The path constraints don't have to be starting from dummyMainMethod. It can simply start from any method (i.e., a callback function of Android framework) and end in its' return statements. But in my case, I need the Interprocedural path constraints starting from that function. Any help is highly appreciated.

Thanks in advance!