From dc1963c316af782928ad2678410e0c7499a74976 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Mon, 13 May 2019 23:51:49 +0200 Subject: [PATCH] Improve report formatting --- mythril/analysis/modules/dependence_on_predictable_vars.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/mythril/analysis/modules/dependence_on_predictable_vars.py b/mythril/analysis/modules/dependence_on_predictable_vars.py index dd1e189f..09da72e7 100644 --- a/mythril/analysis/modules/dependence_on_predictable_vars.py +++ b/mythril/analysis/modules/dependence_on_predictable_vars.py @@ -78,7 +78,7 @@ def _analyze_states(state: GlobalState) -> list: for annotation in state.mstate.stack[-2].annotations: if isinstance(annotation, PredictableValueAnnotation): description = ( - "The " + annotation.opcode + " is used in an if-statement. " + "The " + annotation.opcode + " is used in a conditional statement. " ) description += ( "Note that the values of variables like coinbase, gaslimit, block number and timestamp " @@ -95,7 +95,7 @@ def _analyze_states(state: GlobalState) -> list: bytecode=state.environment.code.bytecode, title="Dependence on predictable environment variable", severity="Low", - description_head="Control flow decision is made based on a predictable variable.", + description_head="A control flow decision is made based on a predictable variable.", description_tail=description, gas_used=(state.mstate.min_gas_used, state.mstate.max_gas_used), ) @@ -154,7 +154,7 @@ def _analyze_states(state: GlobalState) -> list: opcode = instructions[state.mstate.pc - 1]["opcode"] annotation = PredictableValueAnnotation( - "block." + opcode.lower() + "environment variable" + "block." + opcode.lower() + " environment variable" ) state.mstate.stack[-1].annotate(annotation)