appleseedlab / maki

A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
9 stars 3 forks source link

Decouple maki from artifact #14

Closed PappasBrent closed 5 months ago

PappasBrent commented 5 months ago

These changes decouple Maki, the macro invocation analyzer, from the artifact submitted to ICSE 2024 for the paper Semantic Analysis of Macro Usage for Portability by removing all the functionality for analyzing macro definitions, and the ICSE artifact's evaluation data. This is to shift Maki's purpose to only analyze macro invocations, and not definitions, so that downstream tools can interpret Maki's results however they want for whatever purpose they wish without being beholden to the interpretations laid out in the paper. This will also make it easier to develop Maki alongside the macro translation tool we are developing. If someone wants to view the artifact that was submitted with the ICSE 2024 paper, they can still access it here.