borer

nouns

a drill for penetrating rock
bore bit, borer, rock drill, stone drill
is derived from
bore
any of various insects or larvae or mollusks that bore into wood
borer, woodborer
is derived from
bore