Projects in the topic staticanalysis