SyzForge: An Automated System Call Specification Generation Process for Efficient Kernel Fuzzing. - ZhiZhuo Tang; Jian Lin; Weiyu Dong; Hang Ma; Tieming Liu (DIMVA (1), 2025)