An Approach of Vulnerability Testing for Third-Party Component Based on Condition and Parameter Mutation

Procedure 2

IsExclusive().

(01) IsExclusive (𝐸_𝑖, 𝐸_𝑗)

(02) {

(03)  if (∃(𝐸_𝑖𝑠, 𝐸_𝑗𝑡) && (𝐸_𝑖𝑠∩𝐸_𝑗𝑡!=Φ))

(04)   return  true;

(05)  else

(06)   return  false;

(07) }