Context Sensitive Inter-procedural analysis for Android apps

[maryammsd]

Hi,

How can we use the current vasco for performing reachability analysis in android apps by preserving context-sensitivity?

[rohanpadhye]

I'm not sure how to answer your question. What have you tried so far, and is there any specific issue with VASCO that I can help with?

[maryammsd]

Well, yes. When I perform the analysis, it says that the entrypoint is not defined whilst I follow the procedures mentioned in flowdroid github repo to set entrypoints.

[rohanpadhye]

I'm sorry, I don't know anything about FlowDroid so I cannot answer any Android-specific questions. I don't know what the entry points in an Android application look like.

Let me know if you have a VASCO-specific query, e.g. if you have trouble running the simple examples in the VASCO README or if you need an API to get certain state/info from an analysis. Using VASCO with another framework requires domain-specific knowledge of that framework (e.g. in this case, Android), which is beyond the scope of what I can help with.