appleseedlab / maki

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

Check all macro names in all static conditionals #52

Closed PappasBrent closed 2 months ago

PappasBrent commented 2 months ago

Currently, Maki's DefinitionInfoCollector class only stores the names of macros which are already defined when their names appear in static conditionals, and only for macros which appear in #ifdef and #ifndef conditionals. The DefinitionInfoCollector should instead store the names of all macros appearing in static conditionals (because a macro may not be defined when it first appears in a static conditional, e.g., when it appears in a header guard), and it should report the names of macros that appear in all the static conditional types that Clang offers PPCallbacks override methods for.