Improved Loop Execution Modeling in the Clang Static Analyzer
  • Metaadatok
Tartalom: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4104
Archívum: Acta Cybernetica
Gyűjtemény: Selected papers of STCS 2019
Cím:
Improved Loop Execution Modeling in the Clang Static Analyzer
Létrehozó:
Szécsi, Péter György
Horváth, Gábor
Porkoláb, Zoltán
Kiadó:
Dátum:
2020-10-22
Téma:
Tartalmi leírás:
Nyelv:
angol
Típus:
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Formátum:
application/pdf
Azonosító:
10.14232/actacyb.283176
Forrás:
2676-993X
0324-721X
Kapcsolat: