Ding Ye, Yu Su, Yulei Sui, Jingling Xue. WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions. In 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014. pages 88-99, IEEE, 2014. [doi]
Abstract is missing.