NPDHunter: Efficient Null Pointer Dereference Vulnerability Detection in Binary. - Wenhui Jin; Sami Ullah; Dongmin Yoo; Heekuck Oh (IEEE Access, 2021)