A memory-related vulnerability detection approach based on vulnerability model with Petri Net - Chen, Jinfu; Zhang, Chi; Cai, Saihua; Zhang, Lin; Ma, Liang (Journal of logical and algebraic methods in programming, 2023)
Keywords: Double free; Memory leak; Use after free; Vulnerability detection; Vulnerability model; Vulnerability model; Use after free; Double free; Memory leak; Vulnerability detection