Explore static-analysis