How can I make static analysis with cosmosworks