{"type": "article", "title": "BODHI: Precise OS Kernel Specification Inference", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/bodhi-precise-os-kernel-specification-inference", "original_source": "https://arxiv.org/abs/2605.23931", "published": "2026-05-26T04:00:00+00:00", "accessed": "2026-07-17", "id": "bodhi-precise-os-kernel-specification-inference"}