Çağrı grafiği - Call graph - Wikipedia

Python'da basit bir bilgisayar programı için oluşturulmuş bir arama grafiği.

Bir arama grafiği (olarak da bilinir multigrafı ara[1][2]) bir kontrol akış grafiği,[3] arasındaki ilişkileri çağırmayı temsil eden alt programlar içinde bilgisayar programı. Her düğüm bir prosedürü ve her kenarı temsil eder (f, g) bu prosedürü gösterir f arama prosedürü g. Böylece, bir döngü grafikte yinelemeli prosedür çağrılarını gösterir.

Temel konseptler

Çağrı grafikleri dinamik veya statik olabilir.[4] Dinamik bir çağrı grafiği, örneğin bir profil oluşturucu tarafından çıktı olarak programın bir yürütmesinin kaydıdır. Bu nedenle, dinamik bir arama grafiği kesin olabilir, ancak programın yalnızca bir çalışmasını açıklar. Statik bir arama grafiği, programın her olası çalışmasını temsil etmeyi amaçlayan bir arama grafiğidir. Tam statik arama grafiği bir kararsız problem, bu nedenle statik arama grafiği algoritmaları genellikle aşırı yaklaşmalardır. Yani, meydana gelen her arama ilişkisi grafikte ve muhtemelen programın gerçek çalıştırmalarında asla gerçekleşmeyecek bazı arama ilişkileri ile temsil edilir.

Çağrı grafikleri, değişen hassasiyet derecelerini temsil edecek şekilde tanımlanabilir. Daha kesin bir arama grafiği, hesaplanması daha uzun sürmesi ve depolanması daha fazla bellek pahasına gerçek programın davranışına daha kesin bir şekilde yaklaşır. En kesin arama grafiği tamamen bağlama duyarlıBu, her prosedür için grafiğin her biri için ayrı bir düğüm içerdiği anlamına gelir. çağrı yığını bu prosedür ile etkinleştirilebilir. Tamamen bağlama duyarlı bir arama grafiğine bağlam ağacını çağırmak. Bu, büyük miktarda bellek kaplasa da dinamik olarak kolayca hesaplanabilir. Bağlam ağaçlarının çağrılması genellikle statik olarak hesaplanmaz, çünkü büyük bir program için çok uzun sürer. En az hassas arama grafiği bağlama duyarsızBu, her prosedür için yalnızca bir düğüm olduğu anlamına gelir.

Özelliği olan dillerle dinamik gönderim, gibi Java ve C ++, statik bir arama grafiğinin hesaplanması, takma ad analizi Sonuçlar.[5] Tersine, hassas örtüşme hesaplamak bir arama grafiği gerektirir. Birçok statik analiz sistemi, her ikisini aynı anda hesaplayarak görünen sonsuz gerilemeyi çözer.

Kullanımlar

Arama grafikleri farklı şekillerde kullanılabilir. Arama grafiklerinin basit bir uygulaması, asla çağrılmayan prosedürleri bulmaktır. Arama grafikleri, insanların programları anlamak.[6] Prosedürler arasındaki değerlerin akışını izleyen bir analiz gibi daha ileri analizler için temel oluşturabilirler veya etki tahminini değiştir.[7] Çağrı grafikleri, program yürütme veya kod yerleştirme saldırılarındaki anormallikleri tespit etmek için de kullanılabilir.[8]

Yazılım

Ücretsiz yazılım arama grafiği oluşturucuları

Çalışma zamanı çağrı grafiği (listelenen araçların çoğu çağrı grafiği işlevine sahip profil oluşturuculardır)
  • gprof : BSD'ye veya GNU İkili Yardımcı Programlar
  • callgrind: parçası Valgrind
  • KCachegrind : callgrind tarafından oluşturulan verilere dayalı arama grafikleri oluşturmak ve analiz etmek için güçlü bir araç
  • Mac OS X Activity Monitor: Apple GUI süreç monitörü Activity Monitor, süreçleri örnekleyebilen ve bir arama grafiği döndürebilen yerleşik bir arama grafiği oluşturucusuna sahiptir. Bu işlev yalnızca Mac OS X Leopar
  • OpenPAT: şunları içerir: kontrol akışı otomatik olarak bir Graphviz çalışma zamanı ölçümlerinden gelen çağrı grafiği resmi.
  • pprof, profil verilerinin görselleştirilmesi ve analizi için açık kaynak araç, birlikte kullanılacak gperftools.
  • CodeAnalyst itibaren AMD (GPL altında yayınlandı)
  • Makeppgraph ile gerçekleştirilen derlemeler için bir bağımlılık grafiği oluşturucusudur (modül düzeyinde) Makepp.
  • Intel (R) Single Event API (ücretsiz, açık kaynak)
Statik (C dili için), uygulamayı çalıştırmadan arama grafikleri almak için
  • doxygen : Kullanımlar Graphviz statik çağrı / miras diyagramları oluşturmak için
  • cflow : GNU cflow, bir C programının doğrudan ve ters çevrilmiş çağrı grafiğini oluşturabilir
  • Mısır : küçük Perl gcc kullanan komut dosyası ve Graphviz bir C programının statik çağrı grafiğini oluşturmak için.
  • Analizo: kaynak kod ölçümlerini hesaplar, bağımlılık grafikleri oluşturur.
  • CCTree : Yerli Vim Statik arama grafiklerini görüntüleyebilen bir eklenti cscope veri tabanı. C programları için çalışıyor.
  • codeviz : bir statik arama grafiği oluşturucu (program değil koşmak). Yama olarak uygulandı gcc; C ve C ++ programları için çalışır.
  • calltree.sh : Cscope, graphviz ve belirttiğiniz C işlevleri arasındaki "arayan" ve "arayan" ilişkilerini görüntülemek için nokta oluşturma araçlarının örneklemesini birbirine yapıştıran Bash kabuğu işlevleri.
  • Tceetree : calltree.sh gibi, bağlanır Cscope ve Graphviz, ancak bir bash betiği yerine çalıştırılabilir bir dosyadır.
Git
  • go-callvis : çıktıları çizilebilen Go programları için etkileşimli bir arama grafiği oluşturucu Graphviz
.Ağ
  • NDepend : .Net kodu için statik bir analiz aracıdır. Bu araç, çok sayıda kod metriğini destekler, yönlendirilmiş grafikler ve bağımlılık matrisi kullanılarak bağımlılıkların görselleştirilmesine izin verir.
PHP, Perl ve Python
  • Devel :: NYTProf : bir perl performans analizörü ve çağrı tablosu oluşturucu
  • phpCallGraph : kullanan PHP programları için bir arama grafiği oluşturucu Graphviz. PHP ile yazılmıştır ve en az PHP 5.2 gerektirir.
  • piktogram : Python programları için arama grafiği oluşturucu Graphviz.
  • pyan : kullanan Python programları için bir statik arama grafiği oluşturucu Graphviz.
  • gprof2dot : Python'da yazılmış ve birçok dil / çalışma zamanı için profil oluşturma verilerini bir Graphviz callgraph.
  • code2flow: Python ve Javascript programları için arama grafiği oluşturucu Graphviz
  • rcviz : Çalışma zamanı tarafından oluşturulan çağrı grafiklerini oluşturmak için Python modülü Graphviz. Her düğüm, kendisine iletilen parametreler ve dönüş değeri ile bir işlevin çağrılmasını temsil eder.
XQuery

Tescilli arama grafiği oluşturucuları

Proje Analizörü
Statik kod çözümleyicisi ve Visual Basic kodu için arama grafiği oluşturucusu
Görsel Uzman
Statik kod analizörü ve arama grafiği jeneratör için Oracle PL / SQL, SQL Server İşlem-SQL, C # ve PowerBuilder kodu
Intel VTune Performans Analizcisi
Arama grafiğini ve yürütme istatistiklerini göstermek için araç profili oluşturucu
DMS Yazılımı Yeniden Yapılandırma Araç Seti
C, Java ve COBOL için statik tüm programlı küresel arama grafiği çıkarma özelliğine sahip özelleştirilebilir program analiz aracı

Diğer ilgili araçlar

Graphviz
Herhangi bir grafiğin metin gösterimini (arama grafiği dahil) bir resme dönüştürür.

Örnek grafik

Örnek bir arama grafiği gprof kendini analiz etmek:

dizin adı adı | dizin adı 72384/72384 sym_id_parse [54] | 1508/1508 cg_dfn [15] [3] 72384 maç [3] | [13] 1508 ziyaret öncesi [13] ---------------------- | --- ------------------- 4/9052 cg_tally [32] | 1508/1508 cg_assemble [38] 3016/9052 hist_print [49] | [14] 1508 propagate_time [14] 6032/9052 propagate_flags [52] | ------------------- --- [4] 9052 sym_lookup [4] | 2 cg_dfn [15] ---------------------- | 1507/1507 cg_assemble [38] 5766/5766 core_create_function_syms [41] | [15] 1507 + 2 cg_dfn [15] [5] 5766 core_sym_class [5] | 1509/1509 is_numbered [9] ---------------------- | 1508/1508 is_busy [11] 24/1537 ayrıştırma_spec [19] | 1508/1508 pre_visit [13] 1513/1537 core_create_function_syms [41] | 1508/1508 post_visit [12] [6] 1537 sym_init [6] | 2 cg_dfn [15] ---------------------- | ---------------------- 1511/1511 core_create_function_syms [41] | 1505/1505 hist_print [49] [7] 1511 get_src_info [7] | [16] 1505 print_line [16] ---------------------- | 2/9 print_name_only [25] 2/1510 arc_add [31] | ---------------------- 1508/1510 cg_assemble [38] | 1430/1430 core_create_function_syms [41] [8] 1510 arc_lookup [8] | [17] 1430 source_file_lookup_path [17] ---------------------- | --- ------------------- 1509/1509 cg_dfn [15] | 24/24 sym_id_parse [54] [9] 1509 is_numbered [9] | [18] 24 parse_id [18] ---------------------- | 24/24 ayrıştırma_spec [19] 1508/1508 propagate_flags [52] | ---------------------- [10] 1508 inherit_flags [10] | 24/24 parse_id [18] ---------------------- | [19] 24 ayrıştırma_spec [19] 1508/1508 cg_dfn [15] | 24/1537 sym_init [6] [11] 1508 is_busy [11] | ---------------------------------- ---------- | 24/24 ana [1210] 1508/1508 cg_dfn [15] | [20] 24 sym_id_add [20] [12] 1508 post_visit [12] |

Ayrıca bakınız

Referanslar

  1. ^ Callahan, D .; Carle, A .; Hall, M.W .; Kennedy, K. (Nisan 1990). "Prosedür çağrısı multigrafi oluşturma". Yazılım Mühendisliğinde IEEE İşlemleri. 16 (4): 483–487. doi:10.1109/32.54302.
  2. ^ Uday Khedker; Amitabha Sanyal; Bageshri Sathe (2009). Veri Akışı Analizi: Teori ve Uygulama. CRC Basın. s. 234. ISBN  978-0-8493-3251-7.
  3. ^ Pankaj Jalote (1997). Yazılım Mühendisliğine Bütünleşik Bir Yaklaşım. Springer Science & Business Media. s.372. ISBN  978-0-387-94899-7.
  4. ^ Ryder, B.G. (Mayıs 1979). "Bir Programın Arama Grafiğini Oluşturma". Yazılım Mühendisliğinde IEEE İşlemleri. SE-5 (3): 216–226. doi:10.1109 / tse.1979.234183.
  5. ^ Grove, David; DeFouw, Greg; Dean, Jeffrey; Chambers, Craig; Grove, David; DeFouw, Greg; Dean, Jeffrey; Chambers, Craig (9 Ekim 1997). "Nesne yönelimli dillerde grafik oluşturma çağrısı". ACM SIGPLAN Bildirimleri. ACM. 32 (10): 108, 108–124, 124. doi:10.1145/263700.264352.
  6. ^ Eisenbarth, T .; Koschke, R .; Simon, D. (2001). "Statik ve dinamik özellik analizi ile program anlayışına yardımcı olmak". Bildiriler IEEE Uluslararası Yazılım Bakımı Konferansı. ICSM 2001: 602–611. doi:10.1109 / icsm.2001.972777. ISBN  0-7695-1189-9.
  7. ^ Musco, Vincenzo; Monperrus, Martin; Preux, Philippe (26 Temmuz 2016). "Mutasyon testi kullanarak arama grafiğine dayalı etki tahminine ilişkin geniş ölçekli bir çalışma". Yazılım Kalite Dergisi. 25 (3): 921–950. arXiv:1812.06286. doi:10.1007 / s11219-016-9332-8.
  8. ^ Gao, Debin; Reiter, Michael K .; Song, Dawn (25 Ekim 2004). "Anormallik tespiti için yürütme grafiklerinin gri kutu çıkarımı". 11. ACM Bilgisayar ve iletişim güvenliği konferansı bildirileri - CCS '04. ACM. sayfa 318–329. doi:10.1145/1030083.1030126. ISBN  1581139616.