refactor transfer support, add test contract, add value transfer test

test_generator/fuzzers/Echidna.py

@@ -68,6 +68,8 @@ def _parse_call_object(self, call_dict: dict[Any, Any]) -> tuple[str, str]:
         time_delay = int(call_dict["delay"][0], 16)
         block_delay = int(call_dict["delay"][1], 16)
         has_delay = time_delay > 0 or block_delay > 0
+        value = int(call_dict["value"], 16)
+        caller = call_dict["src"]
 
         if call_dict["call"]["tag"] == "NoCall":
             template = jinja2.Template(templates["EMPTY"])
@@ -78,14 +80,14 @@ def _parse_call_object(self, call_dict: dict[Any, Any]) -> tuple[str, str]:
 
         if not function_name:
             template = jinja2.Template(templates["TRANSFER"])
-            call_str = template.render(time_delay=time_delay, block_delay=block_delay)
+            call_str = template.render(
+                time_delay=time_delay, block_delay=block_delay, value=value, caller=caller
+            )
             return (call_str, "")
 
         function_parameters = call_dict["call"]["contents"][1]
         if len(function_parameters) == 0:
             function_parameters = ""
-        caller = call_dict["src"]
-        value = int(call_dict["value"], 16)
 
         slither_entry_point = None
 

test_generator/templates/foundry_templates.py

@@ -41,7 +41,8 @@
         vm.roll(block.number + {{block_delay}});
         {%- endif %}
         vm.prank({{caller}});
-        target.transfer({{value}});
+        (bool success, ) = payable(address(target)).call{value: {{value}}}("");
+        require(success, "Low level call failed.");
 """
 
 __EMPTY_CALL_TEMPLATE: str = """

tests/conftest.py

@@ -83,3 +83,13 @@ def structs_and_enums() -> TestGenerator:
     corpus_dir = "corpus-struct"
 
     return TestGenerator(target, target_path, corpus_dir)
+
+
+@pytest.fixture
+def value_transfer() -> TestGenerator:
+    """Fixture for the ValueTransfer test contract"""
+    target = "ValueTransfer"
+    target_path = "./src/ValueTransfer.sol"
+    corpus_dir = "corpus-value"
+
+    return TestGenerator(target, target_path, corpus_dir)