Streamlining Analyses on the Linux Kernel with DUKS. - Rafael Passos; Arthur Pilone; David Tadokoro; Paulo Meirelles (VISSOFT, 2025)