\textsc{SparrowHawk}: memory safety flaw detection via data-driven source code annotation

DOI10.1007/978-3-030-88323-2_7zbMath1490.68081OpenAlexW3205213881MaRDI QIDQ2151294

Wang Gao, Siqi Ma, Qibin Sun, Yunlong Lyu, Juanru Li

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88323-2_7

zbMATH Keywords

neural networkvulnerability discoveryobjective function recognitionprogramming language understanding

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• ImageMagick
• Python
• word2vec
• TensorFlow
• LibTIFF
• FFmpeg
• GraphicsMagick
• GitHub
• SBERT
• VulDeePecker
• Devign
• Sentence-BERT
• Clang Static Analyzer

Cites Work

• Mean Integrated Squared Error Sampling

This page was built for publication: \textsc{SparrowHawk}: memory safety flaw detection via data-driven source code annotation