Is DECAF able to handle some flow dependency scenarios, such as implicit control flow, etc.?

[M Chen]

Hello,

Sorry for the asking if it is a trivial question. 

I did some googling, but did not find the answer. I wonder if DECAF (not the droid version) can handle some special flow dependency cases, such as implicit control flow, etc.?

If so, do I need to specifically turn on some functions to enable this feature?

Otherwise, is there a plan that this feature will be implemented in future version?

Thanks,

Michael