Enhancing Static Binary Analysis: Type Inference And Pointer Analysis For Executable Programs