<div dir="ltr"><div dir="ltr"><div dir="ltr">Hi all,<div><br></div><div>Im currently using flowDroid to track taint propagations between certain sources and sinks. I'm also trying to check whether these sources can be controlled by an attacker and furthermore check if there is any input validation along the path (i.e. path from source to sink). For example, if the source is <font face="monospace, monospace"><com.google.android.mms.pdu.ReadRecInd: long <b>getDate</b>()></font>  which ends up getting leaked to a specific sink <font face="monospace, monospace"><b>X</b>(date)</font> I want to track whether there is any input validation (such as checking the format of the date) that is applied to the info returned from <b style="font-family:monospace,monospace">getDate()</b> before it gets leaked. </div><div><br></div><div>I was wondering if this can be achieved by extending FlowDroid? if not, are you aware of any related work that can assist me in achieving this? </div><div><br></div><div>Your help and time is greatly appreciated! </div><div><br></div><div>Best,</div><div>Sumaya  </div></div></div></div>