Input-Output Example-Guided Data Deobfuscation on Binary

Algorithm 1

Iterative synthesis algorithm.

	Input:
	Output:
(1)
(2)	while 1 do
(3)	= produce
(4)	= Nested_MCS
(5)	if = =  then
(6)	return Failed
(7)	end if
(8)	ifthen
(9)	=
(10)	return
(11)	else
(12)	return Failed
(13)	end if
(14)	end while