SEVulDet: A Semantics-Enhanced Learnable Vulnerability Detector.

Zhiquan Tang Qiao Hu Yupeng Hu Wenxin Kuang Jiongyi Chen

Published in: DSN (2022)

Keyphrases

formal semantics
logic programming
detection method
neural network
semantic information
risk assessment
web services
positive examples
hypothesis space