SKAEG: Automatic Exploit Generation Based on Shared Keywords in Embedded Systems
Existing Automatic Exploit Generation (AEG) solutions primarily target Linux and Windows binary files. Currently, only one AEG framework for IoT devices—IoTAEG—has been proposed, which emphasizes bypassing diverse protection mechanisms and relies on real devices for exploit generation. To enhance the efficiency of exploit generation for IoT firmware vulnerabilities, we present Automatic Exploit Generation Based on Shared Keywords (SKAEG) in embedded systems, a novel shared-keyword-based approach. SKAEG automatically detects and analyses vulnerabilities within IoT device firmware and generates exploits subsequently. It first extracts shared keywords from firmware to guide taint analysis for vulnerability detection. To improve efficiency, pruning strategies are applied during taint analysis to eliminate infeasible paths. Subsequently, we introduce two new modules: Exploitability Analysis, which evaluates whether identified vulnerabilities can be exploited, and Frontend File Parsing, which constructs request packets based on shared keywords. This design enables SKAEG to integrate vulnerability analysis with concrete exploit generation, thereby facilitating the automated construction of complete exploits. Experimental results demonstrate that SKAEG successfully detects and exploits vulnerabilities across 10 IoT devices from 4 manufacturers, covering 8 CVE-listed vulnerabilities. Additionally, the exploitability analysis accurately identifies 51 non-exploitable vulnerabilities. Through optimized symbolic execution, SKAEG addresses solver crash issues and achieves superior exploit generation efficiency compared to IoTAEG.
Authors
- Jiannan Guo (ORCID: https://orcid.org/0000-0001-9713-9671)
- Yijie Chu (ORCID: https://orcid.org/0000-0001-5282-1343)
- Fang Chen (ORCID: https://orcid.org/0000-0002-4681-7871)
- Guanghua Zhang (ORCID: https://orcid.org/0000-0002-1877-3760)
- Shaoguang Wu
- Hongchang Wei (ORCID: https://orcid.org/0009-0008-9044-2318)
- Zhijuan Wang (ORCID: https://orcid.org/0009-0000-6130-1817)
- Jiyou Chang (ORCID: https://orcid.org/0009-0007-5704-4003)
Institutions
- Hebei University of Science and Technology (CN)
- China Academy of Information and Communications Technology (CN)
- Hebei Science and Technology Department (CN)
Publication Details
- Journal
- JUCS - Journal of Universal Computer Science
- Published
- 2026-09-14
- DOI
- https://doi.org/10.3897/jucs.207391
- Primary Topic
- Security and Verification in Computing
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Natural Science Foundation of China