Tagged static-analysis-tool