Better algorithm for creating CFG
Calculating stack in- and out- heights
Fake build script
Checking stack length using simplified walk is blazing fast
Use BaseCfgWalker to determine call parameters
Determining call parameters based on simplified cfg walker