Runtime verification of memory safety via source transformation.

Zhe Chen, Junqi Yan, Wenming Li, Ju Qian, Zhiqiu Huang

Browse the full ICSE paper archive.