Tagged code-analysis