Our readingWhat is a korrent?
Most macros just transform their arguments, so running them during static analysis is usually safe even though it can't be guaranteed.
Drawn from what Phil Hagelberg said
What this subject means
compilers Programs that turn programs into programs: what a compiler can name, assembly, and building one that serves an editor.