old_contents: import simuvex
  
  class crazy_scanf(simuvex.SimProcedure):
  	def __init__(self): # pylint: disable=W0231
  		memcpy = simuvex.SimProcedures['libc.so.6']['memcpy']
  
  		src = self.get_arg_expr(0)
  		fmt = self.get_arg_expr(1) #pylint:disable=unused-variable
  		one = self.get_arg_expr(2)
  		two = self.get_arg_expr(3)
  		three = self.get_arg_expr(4)
  
  		self.inline_call(memcpy, one, src, 5)
  		self.state.store_mem(one+4, self.state.new_bvv(0, 8))
  		self.inline_call(memcpy, two, src+6, 8192)
  		self.state.store_mem(two+8191, self.state.new_bvv(0, 8))
  		self.inline_call(memcpy, three, src+6+8193, 12)
  		self.state.store_mem(three+11, self.state.new_bvv(0, 8))
  
  		if simuvex.o.SYMBOLIC in self.state.options:
  			#crazy_str = "index.asp?authorization=M3NhZG1pbjoyNzk4ODMwMw==&yan=yes\x00"
  			#crazy_str = "index.asp?authorization=3sadmin:27988303&yan=yes\x00"
  			crazy_str = "authorization=3sadmin:27988303\x00"
  			self.state.add_constraints(self.state.mem_expr(two, len(crazy_str)) == self.state.new_bvv(crazy_str))
  
  		self.exit_return(self.state.new_bvv(3))
  
new_contents: import simuvex
  
  class crazy_scanf(simuvex.SimProcedure):
  	def __init__(self): # pylint: disable=W0231
  		memcpy = simuvex.SimProcedures['libc.so.6']['memcpy']
  
  		src = self.get_arg_expr(0)
  		fmt = self.get_arg_expr(1) #pylint:disable=unused-variable
  		one = self.get_arg_expr(2)
  		two = self.get_arg_expr(3)
  		three = self.get_arg_expr(4)
  
  		self.inline_call(memcpy, one, src, 5)
  		self.state.store_mem(one+4, self.state.new_bvv(0, 8))
  		self.inline_call(memcpy, two, src+6, 8192)
  		self.state.store_mem(two+8191, self.state.new_bvv(0, 8))
  		self.inline_call(memcpy, three, src+6+8193, 12)
  		self.state.store_mem(three+11, self.state.new_bvv(0, 8))
  
  		#if simuvex.o.SYMBOLIC in self.state.options:
  		#	#crazy_str = "index.asp?authorization=M3NhZG1pbjoyNzk4ODMwMw==&yan=yes\x00"
  		#	#crazy_str = "index.asp?authorization=3sadmin:27988303&yan=yes\x00"
  		#	crazy_str = "authorization=3sadmin:27988303\x00"
  		#	self.state.add_constraints(self.state.mem_expr(two, len(crazy_str)) == self.state.new_bvv(crazy_str))
  
  		self.exit_return(self.state.new_bvv(3))
  
subject: remove the hacks!!!!