Static Analysis Tools for Network-Device Stacks - Ruffy, Fabian (ProQuest Dissertations and Theses, 2025)