Yazeka
Arama sonuçlarına göre oluşturuldu
İFDS, "Interprocedural, Finite, Distributive, Subset Problem" kelimelerinin kısaltmasıdır ve interprosedürel veri akışı analizi için kullanılır 45.
İFDS, sonlu domainler üzerinde dağıtıcı akış fonksiyonlarıyla interprosedürel veri akışı analizi yapmak için bir çözüm çerçevesidir 5. Bu çerçeve, herhangi bir program analizi problemini saf bir grafik erişilebilirlik problemine indirgeme fikrine dayanır 4.
İFDS ile ilgili diğer bazı terimler:
- Patika kenarları (path edges) 4. Bir yöntemin girişinden belirli bir ifadeye kadar olan veri akışlarını özetler 4.
- Özet fonksiyonları (summary functions) 4. Bir yöntemin çıkış ifadelerine (return/throw) ait atlama fonksiyonlarıdır 4.
İFDS, genellikle kötü amaçlı yazılım analizi veya güvenli bilgi akışı gibi pratik problemlerde kullanılır 4.
5 kaynaktan alınan bilgiyle göre: