A memory-related vulnerability detection approach based on vulnerability model with Petri Net

DOI10.1016/J.JLAMP.2023.100859OpenAlexW4319870932MaRDI QIDQ2693302

Yanyan Li

Publication date: 20 March 2023

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100859

zbMATH Keywords

vulnerability detectionvulnerability modeldouble freememory leakuse after free

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• Splint
• Flawfinder
• VulDeePecker
• Juliet Test Suite
• ovAFLow
• DeepWukong
• Cppcheck
• Bugaroo

Cites Work

• PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets
• Unnamed Item

This page was built for publication: A memory-related vulnerability detection approach based on vulnerability model with Petri Net