Finding Errors in Registrations of Local Variables Using Coccinelle for Accurate Garbage Collection. - Tomoharu Ugawa; Taiki Fujimoto (J. Inf. Process., 2020)