wrap function in back ticks

mythril/analysis/modules/dependence_on_predictable_vars.py

@@ -39,7 +39,7 @@ def execute(statespace):
 
         address = call.state.get_current_instruction()['address']
 
-        description = "In the function '" + call.node.function_name + "' "
+        description = "In the function `'" + call.node.function_name + "'` "
         description += "the following predictable state variables are used to determine Ether recipient:\n"
 
         # First check: look for predictable state variables in node & call recipient constraints
@@ -64,7 +64,7 @@ def execute(statespace):
 
         for constraint in call.node.constraints + [call.to]:
             if "blockhash" in str(constraint):
-                description = "In the function '" + call.node.function_name + "' "
+                description = "In the function `'" + call.node.function_name + "'` "
                 if "number" in str(constraint):
                     m = re.search('blockhash\w+(\s\-\s(\d+))*', str(constraint))
                     if m and solve(call):

mythril/analysis/modules/ether_send.py

@@ -39,7 +39,7 @@ def execute(statespace):
 
         interesting = False
 
-        description = "In the function '" + call.node.function_name + "' "
+        description = "In the function `'" + call.node.function_name + "'` "
 
         if re.search(r'caller', str(call.to)):
             description += "a non-zero amount of Ether is sent to msg.sender.\n"

mythril/analysis/modules/integer.py

@@ -76,7 +76,7 @@ def _check_integer_overflow(statespace, state, node):
         issue = Issue(node.contract_name, node.function_name, instruction['address'], "Integer Overflow ",
                       "Warning")
 
-        issue.description = "A possible integer overflow exists in the function {}.\n" \
+        issue.description = "A possible integer overflow exists in the function `{}`.\n" \
                             "The addition may result in a value higher than the maximum representable integer.".format(node.function_name)
         issue.debug = solver.pretty_print_model(model)
         issues.append(issue)
@@ -134,7 +134,7 @@ def _check_integer_underflow(state, node):
                 issue = Issue(node.contract_name, node.function_name, instruction['address'], "Integer Underflow",
                               "Warning")
 
-                issue.description = "A possible integer underflow exists in the function " + node.function_name + ".\n" \
+                issue.description = "A possible integer underflow exists in the function `" + node.function_name + "`.\n" \
                                                                                                                   "The subtraction may result in a value < 0."
 
                 issue.debug = solver.pretty_print_model(model)

mythril/analysis/modules/suicide.py

@@ -32,7 +32,7 @@ def execute(statespace):
 
                 logging.debug("[UNCHECKED_SUICIDE] suicide in function " + node.function_name)
 
-                description = "The function " + node.function_name + " executes the SUICIDE instruction. "
+                description = "The function `" + node.function_name + "` executes the SUICIDE instruction. "
 
                 stack = copy.deepcopy(state.mstate.stack)
                 to = stack.pop()