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...

Full description

Bibliographic Details

Published in:	Proceedings / International Conference on Software Engineering pp. 229 - 240
Main Authors:	Pappas, Brent, Gazzillo, Paul
Format:	Conference Proceeding
Language:	English
Published:	ACM 14.04.2024
Subjects:	Codes Kernel Linux macros program analysis Semantics Software engineering Syntactics Transforms
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!