GNFCVulFinder: NDEF Vulnerability Discovering for NFC-Enabled Smart Mobile Devices Based on Fuzzing

Algorithm 1

The algorithm of GTCT.

	Input: G, M, S1, S2
	Output: result
	Begin
(1)	Initialize();
(2)	S1 = Ndef Test(Tmau);
(3)	Tgen = Generator(SRFC, G, MDB);
(4)	S2 = Ndef Test(Tgen);
(5)	SDB + = (S1, S2);
(6)	Tmut = Mutator(SDB, M, rand);
(7)	Ndeftest(Tmut)
(8)	Output(log);
	end