Field-sensitive Data Flow Integrity. - So Shizukuishi; Yoshitaka Arahori; Katsuhiko Gondow (CoRR, 2023)