Hot: static-analysis