NPDHunter: Efficient Null Pointer Dereference Vulnerability Detection in Binary | IEEE Journals & Magazine | IEEE Xplore