Semantic Analysis of Macro Usage for Portability

C is an unsafe language. Researchers have been developing tools to port C to safer languages such as Rust, Checked C, or Go. Existing tools, however, resort to preprocessing the source file first, then porting the resulting code, leaving barely recognizable code that loses macro abstractions. To pre...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings / International Conference on Software Engineering S. 229 - 240
Hauptverfasser:	Pappas, Brent, Gazzillo, Paul
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 14.04.2024
Schlagworte:	Codes Kernel Linux macros program analysis Semantics Software engineering Syntactics Transforms
ISSN:	1558-1225
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!