Metaprogramming Program Analyzers