Handle Ref Parameters


Pass by reference (and other assign through mem location bytecodes) are not handled at all. Need to add support both in rewriter and in runtime support to address these issues.
I think this can be done by simply looking for the "get address" codes and then mapping the address that is given in the concrete stack into the location given in the shadow stack. When we do a write this remapping can then be used.
Closed Jul 11, 2011 at 12:28 AM by DefaultSteve
Complete rework