SOFTWARE BEHAVIOR MODELING DEVICE, SOFTWARE BEHAVIOR MODELING METHOD, SOFTWARE BEHAVIOR VERIFICATION DEVICE, AND SOFTWARE BEHAVIOR VERIFICATION METHOD

A software behavior modeling device (100) has: an event information acquisition part (110) which acquires event information showing a specific event generated during the execution of software; a stack information acquisition part (120) which acquires stack information stored in a call stack at a point of time of occurrence of the specific event; and a behavior model generation part (130) which generates the behavior model of the software by setting a score to a return address according to a storing position where the return address contained in the stack information is stored in the call stack, and modeling the relation between the specific event and an element with the storing position and the score. L'invention concerne un dispositif de modélisation de comportement de logiciel (100) qui a : une partie d'acquisition d'informations d'événement (110) qui acquiert des informations d'événement représentant un événement spécifique généré pendant l'exécution du logiciel ; une partie d'acquisition d'informations de pile (120) qui acquiert des informationsde pile stockées dans une pile d'appels à un moment d'occurrence de l'événement spécifique ; et une partie de génération de modèle de comportement (130) qui génère le modèle de comportement du logiciel par la configuration d'un score à une adresse de retour conformément à une position de stockage où l'adresse de retour contenue dans les informations de pile est stockée dans la pile d'appels, et la modélisation de la relation entre l'événement spécifique et un élément avec la position de stockage et le score.