SafeCheck: Safety Enhancement of Java Unsafe API | IEEE Conference Publication | IEEE Xplore