We present Clog, a declarative language for describing static code checkers for C. Unlike
other extensible state-of-the-art checker frameworks, Clog enables powerful interprocedural …

Code transformations are needed in various cases: refactorings, migra-tions, code
specialization, and so on. Code transformation engines work by finding a pattern in the …