!! SORUMLULUK REDDİ !! Ticari bir statik analiz aracı üzerinde çalışıyorum (PC Lint değil). !! SORUMLULUK REDDİ !!
Ayrıştırmayan basit bir yaklaşımla ilgili birkaç sorun vardır:
1) Aşırı Yük Setleri:
Aşırı yüklenmiş bir işlevin farklı dosyalardan gelen bildirimleri olması mümkündür. Bir başlık dosyasının kaldırılması, derleme hatası yerine farklı bir aşırı yükleme seçilmesine neden olabilir! Sonuç, daha sonra izini sürmek çok zor olabilecek, anlambilimde sessiz bir değişiklik olacaktır.
2) Şablon uzmanlıkları:
Aşırı yükleme örneğine benzer şekilde, bir şablon için kısmi veya açık uzmanlıklarınız varsa, şablon kullanıldığında hepsinin görünür olmasını istersiniz. Birincil şablonun uzmanlıkları farklı başlık dosyalarında olabilir. Uzmanlık içeren üstbilginin kaldırılması bir derleme hatasına neden olmaz, ancak bu uzmanlık seçilmiş olsaydı tanımlanmamış davranışla sonuçlanabilir. (Bakınız: C ++ fonksiyonunun şablon uzmanlığının görünürlüğü )
'Msalters' tarafından belirtildiği gibi, kodun tam bir analizini gerçekleştirmek, sınıf kullanımının analizine de izin verir. Bir sınıfın belirli bir dosya yolu üzerinden nasıl kullanıldığını kontrol ederek, sınıfın tanımının (ve dolayısıyla tüm bağımlılıklarının) tamamen kaldırılabilmesi veya en azından içerme içindeki ana kaynağa daha yakın bir düzeye taşınması mümkündür. ağaç.