Research Article

Input-Output Example-Guided Data Deobfuscation on Binary

Algorithm 3

simu_nested.
Input: self.node, netsted_level
Output: best_reward
(1)best_ reward = −1
(2)while not self.finished do
(3)if level = 1 then
(4)expr = generate (node.state.expr)
(5)reward = self.score (expr)
(6)else
(7)reward = simu_nested (self.node, netsted_level-1)
(8)end if
(9)if reward best_reward then
(10)best_reward = reward
(11)best_sequence = seq.aftermove
(12)end if
(13)best_move = best_sequence
(14)end while
(15)return best_reward