an alpha version of FlowDroid's new shortened path feature