SMS dit: Towards Industrial-Scale Software Binary Analysis