Static program analysis for IoT risk mitigation in space-air-ground integrated networksHaotian Deng, Tao Liu, Xiaochen Ma, Weijie Wang, Chuan Zhang, Huishu Wu and Liehuang ZhuSecurity and Safety, 3 (2024) 2024007DOI: https://doi.org/10.1051/sands/2024007