1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 1 cited
Parf: Adaptive Parameter Refining for Abstract Interpretation
Zhongyi Wang, Linyu Yang, Mingshuai Chen +6
The core challenge in applying abstract interpretation lies in the configuration of abstraction and analysis strategies encoded by a large number of external parameters of static a…
cs.SE2024
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…