Input-Output Example-Guided Data Deobfuscation on Binary

Algorithm 2

Nested_MCS.

	Input: grammar, target, IO_inputs, uct_scalar, state, max_iter, max_time = 0, nested_level
	Output:
(1)	self.root.state = state
(2)	self.max_iter = max_iter
(3)	start_time = time ()
(4)	required_time = 0
(5)	current_iter = 0
(6)	while current_iter  max_iter and not self.finished do
(7)	if max_time and required_time _ max_time then
(8)	break
(9)	end if
(10)	self.current_iter = current_iter
(11)	node = selection (self.root)
(12)	reward = simu_nested (node, nested_level)
(13)	back_propagation (node, reward)
(14)	current_iter + = 1
(15)	current_time = time ()
(16)	required_time = current_time-start_time
(17)	end while