PS${}^3$: Precise Patch Presence Test based on Semantic Symbolic Signature

Qi Zhan, Xing Hu, Zhiyang Li +3

During software development, vulnerabilities have posed a significant threat to users. Patches are the most effective way to combat vulnerabilities. In a large-scale software syste…