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 #53

Closed PappasBrent closed 2 months ago

PappasBrent commented 2 months ago

These changes make it so that we collect the names of all macros that appear in static conditionals regardless of whether or not they are defined beforehand. The downside to this is that we now always collect the names of the some system header macros that aren't always defined (e.g., __cplusplus when compiling C files with Clang's C language option enabled), even if passed the --no-system-macros flag. This hurts performance but is a sacrifice we must make for accuracy.

Closes #52