New: static-analysis