Verifying pointer safety for programs with unknown calls
Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan ChinVolume:
45
Year:
2010
Language:
english
Pages:
21
DOI:
10.1016/j.jsc.2010.06.003
File:
PDF, 514 KB
english, 2010