The invention provides a repeated
vulnerability detection method based on multi-
object type state analysis, and the method comprises the steps: employing a preset
vulnerability mode description language, constructing a corresponding
vulnerability mode description rule for each vulnerability, and the rule comprises a plurality of variable objects and program statements causing the vulnerabilities; translating the vulnerability mode description rule into a corresponding linear
sequential logic formula; converting the formula into an
automaton, wherein the
automaton comprises an accepting state of the
automaton and binding constraints of a plurality of variable objects of the environment in the accepting state; constructing an interprocess
control flow diagram for the target program to be detected, wherein the interprocess
control flow diagram comprises a plurality of program points; performing multivariable object analysis on the target program based on the graph to obtain an automaton state set of each program point and a
data dependency relationship of a plurality of variable objects under each automaton state, and when an automaton state in an accepting state exists and the
data dependency relationship of the plurality of variable objects meets the binding constraint, performing the multivariable object analysis on the target program; and detecting that a corresponding vulnerability exists in the target program.