Flowdroid porting

I finished the developing of this functionality. Please merge to main branch.