Statik analiz yazılımı