Uncovering hidden dependencies: constructing intelligible path witnesses using dataflow analyses

DOI10.14232/ACTACYB.299805MaRDI QIDQ6602525zbMATH OpenFDO

Authors Gábor Horváth, Zoltán Porkoláb

Publication date 11 September 2024

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/ACTACYB.299805

zbMATH Keywords

static analysissymbolic executionreport generationClang Static Analyzercode comprehensioncontrol dependency analysisreaching definitions analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Uncovering hidden dependencies: constructing intelligible path witnesses using dataflow analyses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602525)