Zaslat SMS: Next-Generation Intermediate Representations for Binary Code Analysis