Detecting Uninitialized Variables in C++ with the Clang Static Analyzer

DOI10.14232/ACTACYB.282900OpenAlexW3107212594MaRDI QIDQ5886182

Z. Porkoláb, Unnamed Author

Publication date: 30 March 2023

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.282900

zbMATH Keywords

static analysisCuninitialized variables

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Clang Static Analyzer

This page was built for publication: Detecting Uninitialized Variables in C++ with the Clang Static Analyzer