[发明专利]程序验证装置、程序验证方法

摘要

必要信息提取部(120)提取由对象程序(101)使用的变量中的输出变量，其中，该输出变量设定由输出函数列表(182)中定义的输出函数输出的输出信息。必要信息提取部(120)提取由对象程序(101)使用的变量中的密码变量，其中，该密码变量设定由密码函数列表(183)中定义的加密函数加密后的密码信息。保护状态分析部(130)参照对象程序(101)中包含的赋值语句，提取被代入密码信息的密码状态变量。脆弱性判定部(140)判定密码状态变量与输出变量是否为相同的变量，基于判定结果，输出程序验证结果(197)。

主权项

一种程序验证装置，其特征在于，该程序验证装置具有：程序输入部，其输入使用变量、输出函数和加密函数且包含赋值语句的程序；输出变量提取部，其从所述程序提取设定由所述输出函数输出的输出信息的输出变量；密码变量提取部，其从所述程序提取设定由所述加密函数加密后的密码信息的密码变量；密码状态变量提取部，其参照所述程序中包含的赋值语句从所述程序提取密码状态变量，其中，该密码状态变量被代入由所述密码变量提取部提取出的所述密码变量中设定的所述密码信息；密码状态判定部，其判定由所述密码状态变量提取部提取出的所述密码状态变量与由所述输出变量提取部提取出的所述输出变量是否为相同的变量；验证结果输出部，其基于所述密码状态判定部的判定结果，输出所述程序的验证结果，密钥变量提取部，其提取由所述程序使用的变量中的设定由所述加密函数使用的加密密钥的密钥变量；以及密钥内容判定部，其参照所述程序中包含的赋值语句，判定作为所述加密密钥而被代入由所述密钥变量提取部提取出的所述密钥变量的值是否为可变值，所述验证结果输出部基于所述密钥内容判定部的判定结果和所述密码状态判定部的判定结果，输出所述程序的所述验证结果。