SafeCheck: safety enhancement of Java unsafe API. - Shiyou Huang; Jianmei Guo; Sanhong Li; Xiang Li; Yumin Qi; Kingsum Chow; Jeff Huang 001 (ICSE, 2019)