on the semantics of self - unpacking malware code ∗ .
Alias analysis of executable code