State-Aware Hybrid Concrete-Symbolic Analysis for Automated Vulnerability Discovery in Iot Communication Protocols
Internet of Things (IoT) devices heavily rely on lightweight communication protocols such as MQTT, CoAP, and 6LoWPAN. To minimize memory footprint and computational overhead, these protocols are often implemented using custom C/C++ code, making them highly susceptible to memory corruption vulnerabilities including buff...