Home
News
People
Publications
Seminar
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
software security
PS3: Precise Patch Presence Test Based on Semantic Symbolic Signature
During software development, vulnerabilities have posed a significant threat to users. Applying patches is the most effective way to …
Qi Zhan
,
Xing Hu
,
Zhiyang Li
,
Xin Xia
,
David Lo
,
Shanping Li
Cite
Cite
×
