An analysis device according to one aspect of the present invention supplies a definition for a dependency relation between an input parameter and an output parameter of a standard function, which cannot be derived in a dependency analysis of a control program, the definition being supplied by use of function structure information which is external information. In other words, an analysis device according to this configuration identifies a dependency relation between an input parameter and an output parameter of the standard function on the basis of function structure information that defines a dependency relation between the input parameter and the output parameter of the standard function. Therefore, the dependency relation between the input and the output of a standard function becomes clear, so the dependency relations between a plurality of device variables that mediate the standard function can be identified.