Man pages matching name ctfdump in section 1:

ctfdump.1.en

debian 10 / ctfutils