SafeCheck: safety enhancement of Java unsafe API.

Shiyou Huang, Jianmei Guo, Sanhong Li, Xiang Li, Yumin Qi, Kingsum Chow, Jeff Huang

Browse the full ICSE paper archive.