Top companies that use static-analysis