4 papers · 1 filter
Verify Implementation Equivalence of Large Models
Qi Zhan, Xing Hu, Xin Xia +1
Verifying whether two implementations of the same large model are equivalent across frameworks is difficult in practice. Even when they realize the same computation, their graphs m…
Assessing the Cross-Version Applicability of Java Library Vulnerability Exploits
Zirui Chen, Qi Zhan, Jiayuan Zhou +3
Open-source software supply chain security relies heavily on assessing affected versions of library vulnerabilities. While prior studies have leveraged exploits for verifying vulne…
Possible Value Analysis based on Symbolic Lattice
Qi Zhan
We propose a new static program analysis called program behavior analysis. The analysis aims to calculate possible symbolic expressions for every variable at each program point. We…
PS: 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…