BliMe Linter. - Hossam ElAtali; Xiaohe Duan; Hans Liljestrand; Meng Xu 025; N. Asokan (SecDev, 2024)