Platform: replace usage of removed Block#SP member.
Platform: linux support (although rather crude and incomplete).
Analyzer: do not freeze memory accesses for arguments.