lwIP Bug Finder
A specialized tool for identifying vulnerabilities in the lwIP TCP/IP stack using symbolic execution. Leveraging the angr framework, it analyzes binary executables to detect memory corruption, segmentation faults, and protocol logic errors in embedded networking stacks.