Үүнийг мессежээр илгээх: Static Analysis Tools for Network-Device Stacks