Identifying Mobile Repackaged Applications through Formal Methods