rohanpadhye / vasco

An inter-procedural data-flow analysis framework using value-based context sensitivity
GNU Lesser General Public License v2.1
89 stars 35 forks source link

Context Sensitive Inter-procedural analysis for Android apps #20

Open maryammsd opened 2 years ago

maryammsd commented 2 years ago

Hi,

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

rohanpadhye commented 2 years ago

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 commented 2 years ago

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 commented 2 years ago

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.