A Precise Framework for Source-Level Control-Flow Analysis

Autor:	Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors
Rok vydání:	2021
Předmět:	Control flow analysis Computer science Control engineering Source level
Zdroj:	SCAM
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::852f3df2473bb96a62ce0af9e9551dd9 https://doi.org/10.1109/scam52516.2021.00009 Zobrazit plný text záznamu