About the Threat Analysis Scan in SymDiag