doc/manual/figures/static_analysis.png