Bug Analysis: Type Confusion in Syzbot
Published:
Syzbot Report: https://syzkaller.appspot.com/bug?id=8393c021d960cd9b36203efd312343a26d011997
Blog posts
2022
Paper Notes: Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels (CCS 2021)
Published:
Novelty:
SUTURE employs a novel summary-based high-order taint flow construction approach to efficiently enumerate the cross-entry taint flows, while incorporating multiple innovative en- hancements on analysis precision that are unseen in existing tools, resulting in a highly precise inter-procedural flow-, context-, field-, index-, and opportunistically path-sensitive static taint analysis.