UA : Мета дослідження полягає у вивченні проблем з області статичного аналізу коду, порівнянні існуючих рішень і задач, які вони вирішують, класифікації поширених та слабо-вивчених видів помилок, розробці власного статичного ...