![](/img/cover-not-exists.png)
[IEEE 2014 IEEE 25th International Symposium on Software Reliability Engineering (ISSRE) - Naples, Italy (2014.11.3-2014.11.6)] 2014 IEEE 25th International Symposium on Software Reliability Engineering - WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions
Ye, Ding, Su, Yu, Sui, Yulei, Xue, JinglingYear:
2014
Language:
english
DOI:
10.1109/issre.2014.20
File:
PDF, 341 KB
english, 2014