Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing.
Bozhi WuShangqing LiuYang XiaoZhiming LiJun SunShang-Wei LinPublished in: ESEC/SIGSOFT FSE (2023)
Keyphrases
- automatic detection
- supervised learning
- learning algorithm
- learning tasks
- logic programming
- learning systems
- learning process
- mobile learning
- reinforcement learning
- detection rate
- knowledge acquisition
- procedural knowledge
- neural network
- formal semantics
- online learning
- prior knowledge
- learning environment
- bayesian networks
- high level