@galdor@emacs.ch maybe the situation is less worse: you can write a perfectly accurate code analyzer, but not for all possible #CommonLisp source codes, but only for a subset of them. Maybe, this subset is useful enough. Usually in the final images, all the macro are already expanded, so the analysis can be feasible.