re-add stack pointer to address_registers

slothy/core/dataflow.py

@@ -784,7 +784,7 @@ def find_all_predecessors_input_registers(self, consumer, register_name):
         """ recursively finds the set of input registers registers that a certain value depends on."""
         # ignore the stack pointer
         if register_name == "sp":
-            return set()
+            return set(["sp"])
 
         producer = consumer.reg_state[register_name].src
         # if this is a virtual input instruction this is an actual input