WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions.

Ding Ye, Yu Su, Yulei Sui, Jingling Xue

Browse the full ISSRE paper archive.