Jackhammer: A durable pneumatic or electric tool used for separating concrete, rock, or various other tough surfaces

https://hackerone.com/abregeilhk24

Jackhammer: A sturdy pneumatic or electrical tool used for breaking up concrete, rock, or other hard surfaces