PROGRAM ANALYSIS DEVICE, PROGRAM ANALYSIS METHOD, AND RECORDING MEDIUM IN WHICH PROGRAM ANALYSIS PROGRAM IS STORED

This program analysis device 30 comprises: an identification unit 31 that identifies a transmission function 330 for information included in a first program 33 and a reception function 340 for information included in a second program 34 by performing static analysis 311 on the first and second programs 33, 34 and/or performing dynamic analysis 312 on the operations of an information processing device 40 for executing both of the first and second programs 33, 34; and an estimation unit 32 that estimates that the information is propagated between the transmission function 330 and the reception function 340, for which a specification indicated by an identification result relating to the transmission function 330 and the reception function 340 meets a prescribed condition 320. This makes it possible to track the propagation of the information even when the information is propagated across programs. Le dispositif d'analyse de programme 30 selon la présente invention comprend : une unité d'identification 31 qui identifie une fonction de transmission 330 pour des informations comprises dans un premier programme 33 et une fonction de réception 340 pour des informations comprises dans un second programme 34 par réalisation d'une analyse statique 311 sur les premier et second programmes 33, 34 et/ou par réalisation d'une analyse dynamique 312 sur les opérations d'un dispositif de traitement d'informations 40 pour exécuter à la fois les premier et second programmes 33, 34 ; et une unité d'estimation 32 qui estime que les informations sont propagées entre la fonction de transmission 330 et la fonction de réception 340, pour lesquelles une spécification indiquée par un résultat d'identification relatif à la fonction de transmission 330 et à la fonction de réception 340 satisfait une condition prescrite 320. Cela permet de suivre la propagation des informations même lorsque les informations sont propagées à travers des programmes. プログラム解析装置３０は、第１のプログラム３３に含まれる情報の送信機能３３０、及び、第２のプログラム３４に含まれる情報の受信機能３４０を、第１のプログラム３３及び第２のプログラム３４に対する静的解析３１１と、第１のプログラム３３及び第２のプログラム３４をともに実行する情報処理装置４０の動作に対する動的解析３１２との、少なくともいずれかを行うことにより特定する特定部３１と、送信機能３３０及び受信機能３４０に関する特定結果が示す仕様が所定の条件３２０を満たす送信機能３３０と受信機能３４０との間において、情報が伝搬すると推定する推定部３２と、を備えることによって、情報がプログラムを跨いで伝搬する場合であっても、情報の伝搬を追跡することができる。