riffler
/ˈrɪflə
/noun
A narrow elongated tool with a curved file surface at each end, used in filing concave surfaces.The tools used for more refined work include gouges, drills, various types of chisel, a mallet, rasps, files, and rifflers, some of which duplicate the tools used in stonecarving and modelling.
Origin
Late 18th century: from French rifloir, from Old French rifler 'to scrape'.