The invention is characterized in being provided with: a condition setting step in which conditions for determining the presence or absence of a trojan net are set on the basis of a plurality of known netlists, including both a known netlist containing a trojan net indicating the presence of a hardware trojan, and a known netlist not including said trojan net; and a determining step in which an integrated circuit netlist, serving as a subject netlist, is evaluated on the basis of said conditions, and the presence or absence of the trojan net in the subject netlist is determined from the evaluation results that have been obtained.
展开▼