Using type analysis in compiler to mitigate integer-overflow-to-buffer-overflow threat

Chao Zhang, Wei Zou, Tielei Wang, Yu Chen, Tao Wei. Using type analysis in compiler to mitigate integer-overflow-to-buffer-overflow threat. Journal of Computer Security, 19(6):1083-1107, 2011. [doi]

Abstract

Abstract is missing.