Alias analysis based on DSA.
* Enabled by configuring with --enable-dsa
* KNOWN BUG: memory splitting does not play well with memcpy.