This post has moved to /entries/static-analysis-of-simple.data-code-to-generate-databases.html.