Finding Missing Security Operation Bugs via Program Slicing and Differential Check.

Yeqi Fu,Yongzhi Liu,Qian Zhang,Zhou Yang,Xiarun Chen,Chenglin Xie,Weiping Wen
DOI: https://doi.org/10.1007/978-981-99-7356-9_41
2023-01-01
Abstract:The detection of missing security operations is a complex task in software engineering, mainly due to the semantic and contextual understanding required. Prior research efforts have employed similar path differential analysis to detect missing security operations, but these approaches have been limited in their ability to simultaneously compare the similarity of intra- and inter-procedural paths. To address this limitation, this paper proposes a novel approach called SSD that can detect multiple missing security operation bugs both intra- and inter-procedurally. Our approach collects slices with similar semantics and contexts based on four program slicing criteria, providing more versatile construction of similar slices and more comprehensive detection than previous works. In our experiments, we have identified 65 real bugs in the Linux kernel, of which we have verified 27 as fixed bugs and submitted the remaining 38 for patching. The Linux maintainers have accepted 19 of these patches, confirming the effectiveness and availability of SSD.
What problem does this paper attempt to address?